Trace number 4098171

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-02SAT 554.272 554.456

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_17.opb
MD5SUMdf7102916451f7d4a0d99457cb366cd4
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.899862
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2450
Total number of constraints11814
Number of constraints which are clauses11809
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint49
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 17
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T01:30:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4098171-1466119802.opb"]
0.00/0.01	c use --random-gen="2905358223 2197807182 4027085439 3963011031 2244956398 3098371829 2421684607 1239933881 2231047927 2809123851 3815605427 2146253775 721856265 581641206 1065412309 3543845426 3153594482 31547415 932725776 3172520269 653656037 2857197609 1394728764 1397732926 2068977284 2962201210 1774762094 2265744225 157643040 2185992333 3602931774 2289312727 1997109719 4135495914 2354247374 1976001049 3869627602 2216912450 2985494516 3172252457 1647478687 2055028529 419132838 482320146 2934904967 2368113245 483607669 1657714127 3803789755 63245282 334817348 457912076 1508482051 3562007585 3141454638 898422610 1482705518 2454785868 2066064866 2810424689 2293221795 429893241 1467678683 1364804502 1502246129 3994056250 2758651900 980345863 3271310697 3258225720 1252419867 994188339 318680464 64085554 3109737922 2476892876 2945016869 3504246669 2220495375 2780791333 559127035 3368541716 2729322961 3689303665 2294179010 2907979292 2472663609 4131810746 2706428881 51872390 4073817942 2494858274 1872952298 2824212287 2605168350 3169239863 2468523652 188253693 3018522776 4247063877 3493954614 652132498 4197678117 1684427659 2487195387 447507231 565090559 565658614 786992810 3208384671 2117116724 1258598514 2005608652 3547942892 3964956590 2031476059 163924516 2604806841 862785089 1948188941 2842049625 1638663424 506412437 3779586044 711540416 1579932483 1583531106 3551282838 891928855 85534144 1217721235 1383256801 2721273474 424901879 2506383802 312972221 1929791585 2410491269 1295006976 2838016546 2236232992 3655137658 3273641206 2415039975 2770291086 1674174768 1448821794 3176902030 3434502662 31619069 3554962348 4123192174 2215815028 2189140091 118115928 2068392168 1704540248 1712458616 2545477658 2666789499 1143378256 1043040103 3458638634 3457563312 3818288669 1711513686 4051989461 3445451409 2345881358 1858171679 3844443296 2920869989 1233634849 2926310820 4207822178 1754537372 3758406576 2231659027 3171085255 4096977614 3397127660 29882492 1972703198 3320027350 1455617020 302586407 758294283 2777931443 1243771477 1683908599 1542521458 3819369474 3343470849 315916741 2016011633 3661489864 2552845846 2388923501 1410144845 1286066243 596703348 693398979 2386612614 3646388541 2348342660 4020446823 4281544254 726982430 4264067809 3271052631 2119646521 1294448224 2242801307 830481533 458716334 2206583686 4027367203 3985393142 1406455584 3242207886 3837256959 905539795 2583382033 2330857397 3132226476 2983528127 2569125407 2854213574 3628274718 3895685627 497736032 18767742 1327036270 3067225720 3785014320 653887718 2271016605 1127831832 4176883576 2452457982 39166690 3113435137 3213987223 321370233 1076002093 329022489 1238751814 74901614 161307539 1820857649 3219543098 205016052 1192061075 2853027927 3788256682 3105947596 255 362436" option to reproduce the execution
0.19/0.21	c #vars 2450
0.19/0.21	c #constraints 11814
0.49/0.53	c Solving starts ...
0.49/0.53	c ============================[ Search Statistics ]============================
0.49/0.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.53	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.53	c =============================================================================
0.49/0.54	c  0.0s |       0 |        0 |        0 |     4753      0 |        5 |        0
0.59/0.69	c  0.2s |       1 |      314 |      100 |     4753      0 |        5 |      416
0.89/0.92	c  0.4s |       2 |      662 |      250 |     5229      0 |        5 |      416
1.19/1.26	c  0.7s |       3 |     1285 |      475 |     5752      0 |        5 |      416
1.59/1.65	c  1.1s |       4 |     2263 |      813 |     6328      0 |        5 |      416
2.09/2.15	c  1.6s |       5 |     3916 |     1320 |     6961      0 |        5 |      416
2.89/2.97	c  2.4s |       6 |     5783 |     2081 |     8424      0 |        5 |      416
4.09/4.18	c  3.6s |       7 |     7851 |     3223 |     9267      0 |        5 |      416
5.79/5.89	c  5.4s |       8 |    12447 |     4936 |    10194      0 |        5 |      416
7.89/7.91	c  7.4s |       8 |    16153 |     6836 |    10194      0 |        5 |      416
8.59/8.64	c  8.1s |       9 |    17269 |     7506 |    11214      0 |        5 |      416
10.69/10.71	c 10.2s |       9 |    20227 |     9306 |    11214      0 |        5 |      416
12.79/12.83	c 12.3s |       9 |    23264 |    11006 |    11214      0 |        5 |      416
13.20/13.26	c 12.7s |      10 |    23818 |    11361 |    12336      0 |        5 |      416
15.19/15.29	c 14.8s |      10 |    26397 |    12861 |    12336      1 |        5 |      416
17.29/17.32	c 16.8s |      10 |    29537 |    14761 |    12336      1 |        5 |      416
19.29/19.35	c 18.8s |      10 |    32977 |    16661 |    12336      1 |        5 |      416
19.89/19.99	c 19.5s |      11 |    33851 |    17144 |    13570      1 |        5 |      416
21.99/22.07	c 21.5s |      11 |    36788 |    18844 |    13570      1 |        5 |      416
24.09/24.19	c 23.7s |      11 |    39721 |    20744 |    13570      2 |        5 |      416
26.09/26.19	c 25.7s |      11 |    43387 |    22944 |    13570      2 |        5 |      416
28.18/28.25	c 27.7s |      11 |    46670 |    25444 |    13570      2 |        5 |      416
28.98/29.01	c 28.5s |      12 |    47353 |    25819 |    14928      2 |        5 |      416
30.98/31.04	c 30.5s |      12 |    49861 |    27219 |    14928      2 |        5 |      416
32.99/33.10	c 32.6s |      12 |    52488 |    28819 |    14928      2 |        5 |      416
35.08/35.14	c 34.6s |      12 |    55253 |    30619 |    14928      3 |        5 |      416
37.18/37.23	c 36.7s |      12 |    58516 |    32619 |    14928      3 |        5 |      416
39.28/39.30	c 38.8s |      12 |    61359 |    34519 |    14928      3 |        5 |      416
41.38/41.41	c 40.9s |      12 |    64199 |    36419 |    14928      3 |        5 |      416
43.38/43.46	c 42.9s |      12 |    66980 |    38419 |    14928      4 |        5 |      416
43.78/43.81	c 43.3s |      13 |    67565 |    38832 |    16421      4 |        5 |      416
46.48/46.51	c 46.0s |      13 |    70375 |    40732 |    16421      4 |        5 |      416
48.58/48.63	c 48.1s |      13 |    73210 |    42432 |    16421      4 |        5 |      416
50.68/50.71	c 50.2s |      13 |    76048 |    44232 |    16421      4 |        5 |      416
52.68/52.80	c 52.3s |      13 |    78818 |    45932 |    16421      4 |        5 |      416
54.77/54.83	c 54.3s |      13 |    81084 |    47532 |    16421      5 |        5 |      416
56.77/56.84	c 56.3s |      13 |    84207 |    49532 |    16421      5 |        5 |      416
58.77/58.89	c 58.4s |      13 |    86758 |    51332 |    16421      5 |        5 |      416
60.87/60.95	c 60.4s |      13 |    89379 |    53232 |    16421      5 |        5 |      416
62.98/63.03	c 62.5s |      13 |    92134 |    55332 |    16421      5 |        5 |      416
64.99/65.07	c 64.5s |      13 |    94159 |    56732 |    16421      6 |        5 |      416
67.08/67.15	c 66.6s |      13 |    96083 |    58232 |    18064      6 |        5 |      416
67.28/67.32	c 66.8s |      14 |    96217 |    58352 |    18064      6 |        5 |      416
69.38/69.42	c 68.9s |      14 |    98449 |    59752 |    18064      6 |        5 |      416
71.37/71.46	c 70.9s |      14 |    99439 |    60552 |    18064      6 |        5 |      416
73.57/73.61	c 73.1s |      14 |   101767 |    61952 |    18064      6 |        5 |      416
75.67/75.76	c 75.2s |      14 |   103484 |    63152 |    18064      6 |        5 |      416
77.77/77.80	c 77.3s |      14 |   105228 |    64452 |    18064      6 |        5 |      416
79.87/79.90	c 79.4s |      14 |   107093 |    65952 |    18064      6 |        5 |      416
81.97/82.02	c 81.5s |      14 |   108629 |    67152 |    18064      7 |        5 |      416
83.97/84.04	c 83.5s |      14 |   110229 |    68352 |    18064      7 |        5 |      416
86.07/86.18	c 85.6s |      14 |   112052 |    69752 |    18064      7 |        5 |      416
88.27/88.34	c 87.8s |      14 |   113777 |    71052 |    18064      7 |        5 |      416
90.28/90.35	c 89.8s |      14 |   116013 |    72352 |    18064      7 |        5 |      416
92.38/92.42	c 91.9s |      14 |   117617 |    73552 |    18064      7 |        5 |      416
94.37/94.43	c 93.9s |      14 |   118533 |    74252 |    18064      7 |        5 |      416
96.48/96.51	c 96.0s |      14 |   119880 |    75152 |    18064      8 |        5 |      416
98.48/98.58	c 98.0s |      14 |   122085 |    76652 |    18064      8 |        5 |      416
100.48/100.58	c  100s |      14 |   124413 |    78152 |    18064      8 |        5 |      416
102.58/102.68	c  102s |      14 |   126592 |    79752 |    18064      8 |        5 |      416
104.68/104.77	c  104s |      14 |   128653 |    81252 |    18064      8 |        5 |      416
106.78/106.86	c  106s |      14 |   130657 |    82752 |    18064      8 |        5 |      416
108.78/108.87	c  108s |      14 |   132326 |    84052 |    18064      8 |        5 |      416
110.78/110.89	c  110s |      14 |   134170 |    85452 |    18064      9 |        5 |      416
112.87/112.99	c  112s |      14 |   136521 |    87352 |    19871      9 |        5 |      416
113.17/113.29	c  112s |      15 |   136853 |    87632 |    19871      9 |        5 |      416
115.17/115.30	c  114s |      15 |   138789 |    89032 |    19871      9 |        5 |      416
117.27/117.34	c  116s |      15 |   140782 |    90432 |    19871      9 |        5 |      416
119.27/119.38	c  118s |      15 |   142618 |    91732 |    19871      9 |        5 |      416
121.47/121.50	c  120s |      15 |   144576 |    93132 |    19871      9 |        5 |      416
123.57/123.60	c  123s |      15 |   146549 |    94632 |    19871      9 |        5 |      416
125.67/125.70	c  125s |      15 |   148235 |    95932 |    19871      9 |        5 |      416
127.77/127.81	c  127s |      15 |   150225 |    97532 |    19871     10 |        5 |      416
129.78/129.87	c  129s |      15 |   152123 |    99132 |    19871     10 |        5 |      416
131.77/131.89	c  131s |      15 |   154089 |   100332 |    19871     10 |        5 |      416
133.87/133.92	c  133s |      15 |   155824 |   101632 |    19871     10 |        5 |      416
135.97/136.08	c  135s |      15 |   157272 |   102732 |    19871     10 |        5 |      416
138.07/138.13	c  137s |      15 |   158971 |   103932 |    19871     10 |        5 |      416
140.07/140.13	c  139s |      15 |   160780 |   105132 |    19871     10 |        5 |      416
142.17/142.25	c  141s |      15 |   162855 |   106532 |    19871     11 |        5 |      416
144.18/144.27	c  143s |      15 |   164918 |   108132 |    19871     11 |        5 |      416
146.17/146.29	c  145s |      15 |   167187 |   109832 |    19871     11 |        5 |      416
148.27/148.30	c  147s |      15 |   169529 |   111632 |    19871     11 |        5 |      416
150.37/150.40	c  149s |      15 |   171731 |   113432 |    19871     11 |        5 |      416
152.37/152.49	c  151s |      15 |   173543 |   114632 |    19871     11 |        5 |      416
154.47/154.51	c  153s |      15 |   175476 |   115932 |    19871     11 |        5 |      416
156.47/156.51	c  155s |      15 |   177457 |   117432 |    19871     12 |        5 |      416
158.56/158.60	c  158s |      15 |   179769 |   119132 |    19871     12 |        5 |      416
160.57/160.66	c  160s |      15 |   181990 |   120932 |    19871     12 |        5 |      416
162.66/162.74	c  162s |      15 |   184112 |   122632 |    19871     12 |        5 |      416
164.76/164.81	c  164s |      15 |   185800 |   123932 |    19871     12 |        5 |      416
166.76/166.89	c  166s |      15 |   187951 |   125532 |    19871     12 |        5 |      416
168.86/168.96	c  168s |      15 |   189654 |   126932 |    19871     13 |        5 |      416
170.96/171.02	c  170s |      15 |   192117 |   128832 |    19871     13 |        5 |      416
172.96/173.10	c  172s |      15 |   194164 |   130532 |    19871     13 |        5 |      416
174.26/174.33	c  173s |      16 |   195530 |   131552 |    21859     13 |        5 |      416
176.36/176.41	c  175s |      16 |   198015 |   133352 |    21859     13 |        5 |      416
178.36/178.43	c  177s |      16 |   200193 |   135052 |    21859     13 |        5 |      416
183.06/183.11	c  182s |      16 |   201568 |   135952 |    21859     13 |        5 |      416
185.16/185.20	c  184s |      16 |   203619 |   137152 |    21859     13 |        5 |      416
187.36/187.43	c  186s |      16 |   205585 |   138552 |    21859     14 |        5 |      416
189.46/189.51	c  188s |      16 |   207781 |   140152 |    21859     14 |        5 |      416
191.55/191.63	c  191s |      16 |   210081 |   141752 |    21859     14 |        5 |      416
193.56/193.65	c  193s |      16 |   212560 |   143452 |    21859     14 |        5 |      416
195.65/195.72	c  195s |      16 |   215372 |   145352 |    21859     14 |        5 |      416
197.65/197.79	c  197s |      16 |   217417 |   147052 |    21859     14 |        5 |      416
199.75/199.86	c  199s |      16 |   219531 |   148852 |    21859     14 |        5 |      416
201.75/201.88	c  201s |      16 |   221545 |   150352 |    21859     15 |        5 |      416
203.85/203.92	c  203s |      16 |   223354 |   151552 |    21859     15 |        5 |      416
205.95/206.01	c  205s |      16 |   225561 |   153052 |    21859     15 |        5 |      416
207.96/208.02	c  207s |      16 |   228166 |   154552 |    21859     15 |        5 |      416
209.95/210.05	c  209s |      16 |   230263 |   156052 |    21859     15 |        5 |      416
211.95/212.08	c  211s |      16 |   232453 |   157452 |    21859     15 |        5 |      416
214.15/214.21	c  213s |      16 |   234370 |   159052 |    21859     15 |        5 |      416
216.15/216.26	c  215s |      16 |   236411 |   160552 |    21859     15 |        5 |      416
218.25/218.32	c  217s |      16 |   238430 |   162152 |    21859     16 |        5 |      416
220.25/220.34	c  219s |      16 |   240476 |   163752 |    21859     16 |        5 |      416
222.26/222.34	c  221s |      16 |   242593 |   165352 |    21859     16 |        5 |      416
224.26/224.40	c  223s |      16 |   244549 |   166952 |    21859     16 |        5 |      416
226.36/226.45	c  225s |      16 |   246596 |   168652 |    21859     16 |        5 |      416
228.55/228.60	c  228s |      16 |   248602 |   170152 |    21859     16 |        5 |      416
230.55/230.61	c  230s |      16 |   250304 |   171352 |    21859     16 |        5 |      416
232.65/232.70	c  232s |      16 |   251933 |   172552 |    21859     17 |        5 |      416
234.75/234.81	c  234s |      16 |   253872 |   174052 |    21859     17 |        5 |      416
236.75/236.82	c  236s |      16 |   255548 |   175352 |    21859     17 |        5 |      416
238.85/238.92	c  238s |      16 |   257385 |   176852 |    21859     17 |        5 |      416
240.96/241.03	c  240s |      16 |   259253 |   178352 |    21859     17 |        5 |      416
242.95/243.05	c  242s |      16 |   260989 |   179852 |    21859     17 |        5 |      416
244.95/245.06	c  244s |      16 |   262668 |   181052 |    21859     17 |        5 |      416
247.05/247.12	c  246s |      16 |   264205 |   182252 |    21859     17 |        5 |      416
249.05/249.13	c  248s |      16 |   265744 |   183452 |    21859     17 |        5 |      416
251.15/251.21	c  250s |      16 |   267582 |   184952 |    21859     18 |        5 |      416
253.15/253.27	c  252s |      16 |   269693 |   186752 |    21859     18 |        5 |      416
255.26/255.37	c  254s |      16 |   271595 |   188152 |    21859     18 |        5 |      416
257.25/257.37	c  256s |      16 |   273517 |   189652 |    21859     18 |        5 |      416
259.25/259.37	c  258s |      16 |   275443 |   191152 |    21859     18 |        5 |      416
261.35/261.41	c  260s |      16 |   277335 |   192752 |    21859     18 |        5 |      416
263.45/263.55	c  263s |      16 |   279174 |   194252 |    21859     18 |        5 |      416
265.55/265.68	c  265s |      16 |   280968 |   195752 |    21859     19 |        5 |      416
267.65/267.75	c  267s |      17 |   283009 |   197432 |    24045     19 |        5 |      416
269.65/269.79	c  269s |      17 |   285078 |   199132 |    24045     19 |        5 |      416
276.34/276.45	c  275s |      17 |   285785 |   199632 |    24045     19 |        5 |      416
278.35/278.47	c  277s |      17 |   287502 |   200932 |    24045     19 |        5 |      416
280.45/280.59	c  280s |      17 |   289543 |   202232 |    24045     19 |        5 |      416
282.54/282.65	c  282s |      17 |   291345 |   203532 |    24045     19 |        5 |      416
284.64/284.79	c  284s |      17 |   293519 |   204932 |    24045     19 |        5 |      416
286.74/286.84	c  286s |      17 |   295292 |   206232 |    24045     19 |        5 |      416
288.84/288.91	c  288s |      17 |   297261 |   207532 |    24045     19 |        5 |      416
291.04/291.12	c  290s |      17 |   299094 |   208832 |    24045     20 |        5 |      416
293.03/293.15	c  292s |      17 |   301101 |   210432 |    24045     20 |        5 |      416
295.13/295.20	c  294s |      17 |   303083 |   212032 |    24045     20 |        5 |      416
297.43/297.50	c  296s |      17 |   305447 |   213932 |    24045     20 |        5 |      416
299.54/299.61	c  299s |      17 |   307177 |   215032 |    24045     20 |        5 |      416
301.63/301.72	c  301s |      17 |   309009 |   216532 |    24045     20 |        5 |      416
303.64/303.79	c  303s |      17 |   310926 |   217832 |    24045     20 |        5 |      416
305.74/305.87	c  305s |      17 |   312692 |   219132 |    24045     20 |        5 |      416
307.83/307.90	c  307s |      17 |   314413 |   220432 |    24045     20 |        5 |      416
309.93/310.00	c  309s |      17 |   316330 |   221832 |    24045     21 |        5 |      416
311.92/312.07	c  311s |      17 |   318579 |   223532 |    24045     21 |        5 |      416
314.02/314.16	c  313s |      17 |   320708 |   225332 |    24045     21 |        5 |      416
316.02/316.19	c  315s |      17 |   322551 |   226732 |    24045     21 |        5 |      416
318.12/318.24	c  317s |      17 |   324036 |   227932 |    24045     21 |        5 |      416
320.22/320.33	c  319s |      17 |   325773 |   229232 |    24045     21 |        5 |      416
322.23/322.37	c  321s |      17 |   327524 |   230532 |    24045     21 |        5 |      416
324.22/324.40	c  323s |      17 |   329463 |   231932 |    24045     21 |        5 |      416
326.42/326.53	c  325s |      17 |   331158 |   233332 |    24045     21 |        5 |      416
328.42/328.53	c  327s |      17 |   333313 |   235032 |    24045     22 |        5 |      416
330.52/330.68	c  330s |      17 |   335380 |   236732 |    24045     22 |        5 |      416
332.62/332.70	c  332s |      17 |   337250 |   238132 |    24045     22 |        5 |      416
334.72/334.83	c  334s |      17 |   339399 |   239732 |    24045     22 |        5 |      416
336.72/336.87	c  336s |      17 |   341198 |   241232 |    24045     22 |        5 |      416
338.82/338.98	c  338s |      17 |   343127 |   242832 |    24045     22 |        5 |      416
340.92/341.10	c  340s |      17 |   344967 |   244232 |    24045     22 |        5 |      416
343.01/343.13	c  342s |      17 |   346513 |   245432 |    24045     22 |        5 |      416
345.01/345.18	c  344s |      17 |   348335 |   246832 |    24045     23 |        5 |      416
347.11/347.24	c  346s |      17 |   350562 |   248632 |    24045     23 |        5 |      416
349.11/349.26	c  348s |      17 |   352525 |   250232 |    24045     23 |        5 |      416
351.21/351.35	c  350s |      17 |   354439 |   251732 |    24045     23 |        5 |      416
353.20/353.38	c  352s |      17 |   356297 |   253332 |    24045     23 |        5 |      416
355.21/355.40	c  354s |      17 |   358060 |   254732 |    24045     23 |        5 |      416
357.30/357.47	c  356s |      17 |   359776 |   256132 |    24045     23 |        5 |      416
359.30/359.49	c  358s |      17 |   361557 |   257632 |    24045     23 |        5 |      416
361.40/361.50	c  360s |      17 |   363036 |   258832 |    24045     24 |        5 |      416
363.40/363.56	c  363s |      17 |   365024 |   260532 |    24045     24 |        5 |      416
365.50/365.62	c  365s |      17 |   367027 |   262132 |    24045     24 |        5 |      416
367.50/367.66	c  367s |      17 |   368991 |   263832 |    24045     24 |        5 |      416
369.70/369.81	c  369s |      17 |   370761 |   265432 |    24045     24 |        5 |      416
371.70/371.90	c  371s |      17 |   372333 |   266832 |    24045     24 |        5 |      416
382.09/382.24	c  381s |      17 |   374152 |   268232 |    24045     24 |        5 |      416
384.09/384.26	c  383s |      17 |   375948 |   269332 |    24045     24 |        5 |      416
386.49/386.68	c  386s |      17 |   377753 |   270632 |    24045     25 |        5 |      416
388.49/388.69	c  388s |      17 |   379676 |   272032 |    24045     25 |        5 |      416
390.59/390.71	c  390s |      17 |   381715 |   273632 |    24045     25 |        5 |      416
392.60/392.79	c  392s |      17 |   383664 |   275132 |    24045     25 |        5 |      416
394.80/394.92	c  394s |      17 |   385618 |   276632 |    24045     25 |        5 |      416
396.79/396.94	c  396s |      17 |   387281 |   278032 |    24045     25 |        5 |      416
398.89/399.04	c  398s |      17 |   389167 |   279632 |    24045     25 |        5 |      416
400.89/401.06	c  400s |      17 |   390711 |   280832 |    24045     25 |        5 |      416
402.99/403.12	c  402s |      17 |   392260 |   282032 |    24045     25 |        5 |      416
404.99/405.16	c  404s |      17 |   393795 |   283132 |    24045     25 |        5 |      416
407.09/407.24	c  406s |      17 |   395542 |   284532 |    24045     26 |        5 |      416
409.09/409.27	c  408s |      17 |   397349 |   285932 |    24045     26 |        5 |      416
411.18/411.34	c  410s |      17 |   399292 |   287532 |    24045     26 |        5 |      416
413.18/413.39	c  412s |      17 |   401172 |   289032 |    24045     26 |        5 |      416
415.38/415.51	c  414s |      17 |   402805 |   290232 |    24045     26 |        5 |      416
417.48/417.66	c  417s |      17 |   404629 |   291532 |    24045     26 |        5 |      416
419.68/419.80	c  419s |      17 |   406775 |   293032 |    24045     26 |        5 |      416
421.78/421.93	c  421s |      17 |   408475 |   294132 |    24045     26 |        5 |      416
423.78/423.94	c  423s |      17 |   410030 |   295232 |    26450     26 |        5 |      416
425.38/425.59	c  425s |      18 |   411371 |   296252 |    26450     26 |        5 |      416
427.48/427.61	c  427s |      18 |   412867 |   297452 |    26450     26 |        5 |      416
429.47/429.66	c  429s |      18 |   414277 |   298552 |    26450     27 |        5 |      416
431.47/431.68	c  431s |      18 |   416248 |   300152 |    26450     27 |        5 |      416
433.57/433.73	c  433s |      18 |   418339 |   301952 |    26450     27 |        5 |      416
436.37/436.55	c  436s |      18 |   418753 |   302252 |    26450     27 |        5 |      416
438.47/438.63	c  438s |      18 |   420763 |   303652 |    26450     27 |        5 |      416
440.57/440.71	c  440s |      18 |   422442 |   304952 |    26450     27 |        5 |      416
442.57/442.74	c  442s |      18 |   424239 |   306252 |    26450     27 |        5 |      416
444.57/444.75	c  444s |      18 |   426296 |   307752 |    26450     27 |        5 |      416
446.67/446.88	c  446s |      18 |   428320 |   309352 |    26450     27 |        5 |      416
448.77/448.94	c  448s |      18 |   430189 |   310852 |    26450     27 |        5 |      416
450.87/451.02	c  450s |      18 |   431823 |   312152 |    26450     28 |        5 |      416
452.86/453.09	c  452s |      18 |   433882 |   313652 |    26450     28 |        5 |      416
454.96/455.12	c  454s |      18 |   435866 |   314752 |    26450     28 |        5 |      416
456.96/457.14	c  456s |      18 |   437507 |   316052 |    26450     28 |        5 |      416
459.06/459.24	c  458s |      18 |   439215 |   317352 |    26450     28 |        5 |      416
461.16/461.39	c  460s |      18 |   441248 |   318752 |    26450     28 |        5 |      416
463.25/463.44	c  462s |      18 |   443032 |   320052 |    26450     28 |        5 |      416
465.26/465.45	c  464s |      18 |   444660 |   321452 |    26450     28 |        5 |      416
467.36/467.53	c  466s |      18 |   446187 |   322752 |    26450     28 |        5 |      416
469.56/469.72	c  469s |      18 |   447817 |   323952 |    26450     28 |        5 |      416
471.65/471.89	c  471s |      18 |   449322 |   324952 |    26450     28 |        5 |      416
473.75/473.95	c  473s |      18 |   450558 |   325952 |    26450     29 |        5 |      416
475.85/476.09	c  475s |      18 |   452164 |   327252 |    26450     29 |        5 |      416
477.95/478.12	c  477s |      18 |   454031 |   328752 |    26450     29 |        5 |      416
480.05/480.28	c  479s |      18 |   455816 |   330252 |    26450     29 |        5 |      416
482.24/482.41	c  481s |      18 |   457604 |   331552 |    26450     29 |        5 |      416
484.34/484.51	c  483s |      18 |   459245 |   332852 |    26450     29 |        5 |      416
486.34/486.53	c  485s |      18 |   460875 |   334152 |    26450     29 |        5 |      416
488.44/488.63	c  488s |      18 |   462677 |   335652 |    26450     29 |        5 |      416
490.45/490.70	c  490s |      18 |   464441 |   337152 |    26450     29 |        5 |      416
492.54/492.72	c  492s |      18 |   466042 |   338352 |    26450     29 |        5 |      416
494.64/494.86	c  494s |      18 |   467504 |   339552 |    26450     30 |        5 |      416
496.64/496.88	c  496s |      18 |   469584 |   341252 |    26450     30 |        5 |      416
498.74/498.97	c  498s |      18 |   471356 |   342752 |    26450     30 |        5 |      416
500.74/500.98	c  500s |      18 |   472981 |   344152 |    26450     30 |        5 |      416
502.84/503.07	c  502s |      18 |   474830 |   345752 |    26450     30 |        5 |      416
504.94/505.15	c  504s |      18 |   476728 |   347452 |    26450     30 |        5 |      416
506.94/507.18	c  506s |      18 |   478481 |   348952 |    26450     30 |        5 |      416
509.14/509.31	c  508s |      18 |   480032 |   350252 |    26450     30 |        5 |      416
511.23/511.46	c  510s |      18 |   481451 |   351452 |    26450     30 |        5 |      416
513.43/513.63	c  513s |      18 |   482855 |   352652 |    26450     30 |        5 |      416
515.53/515.71	c  515s |      18 |   484108 |   353652 |    26450     31 |        5 |      416
517.63/517.88	c  517s |      18 |   485618 |   354952 |    26450     31 |        5 |      416
519.83/520.01	c  519s |      18 |   487400 |   356452 |    26450     31 |        5 |      416
525.23/525.42	c  524s |      18 |   488130 |   356852 |    26450     31 |        5 |      416
527.32/527.58	c  527s |      18 |   489980 |   358052 |    26450     31 |        5 |      416
529.52/529.78	c  529s |      18 |   491747 |   359352 |    26450     31 |        5 |      416
531.62/531.81	c  531s |      18 |   493399 |   360552 |    26450     31 |        5 |      416
533.72/533.90	c  533s |      18 |   494948 |   361752 |    26450     31 |        5 |      416
535.72/535.99	c  535s |      18 |   496761 |   363052 |    26450     31 |        5 |      416
537.92/538.10	c  537s |      18 |   498499 |   364352 |    26450     31 |        5 |      416
539.93/540.13	c  539s |      18 |   500088 |   365552 |    26450     31 |        5 |      416
542.13/542.38	c  541s |      18 |   501352 |   366552 |    26450     32 |        5 |      416
544.22/544.46	c  543s |      18 |   503548 |   368252 |    26450     32 |        5 |      416
547.82/548.05	c  547s |      18 |   506088 |   370252 |    26450     32 |        5 |      416
550.02/550.25	c  549s |      18 |   507831 |   371252 |    26450     32 |        5 |      416
552.12/552.32	c  551s |      18 |   509167 |   372352 |    26450     32 |        5 |      416
554.12/554.40	c  553s |      18 |   511007 |   373533 |    26450     32 |        5 |      416
554.12/554.40	c #cpu_time = 552.330s
554.12/554.40	c #wall_clock_time = 553.864s
554.12/554.40	c #decision = 511007
554.12/554.40	c #random_decision = 1332
554.12/554.40	c #conflict = 373533
554.12/554.40	c #restart = 18
554.12/554.40	s SATISFIABLE
554.12/554.40	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10
554.12/554.40	v -x11 -x12 x13 x14 -x15 -x16 -x17 x18 x19 x20
554.12/554.40	v -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30
554.12/554.40	v -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 x40
554.12/554.40	v x41 x42 x43 x44 x45 x46 -x47 -x48 -x49 x50
554.12/554.40	v -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60
554.12/554.40	v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70
554.12/554.40	v -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
554.12/554.40	v -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90
554.12/554.40	v x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100
554.12/554.40	v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110
554.12/554.40	v x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120
554.12/554.40	v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130
554.12/554.40	v -x131 -x132 -x133 -x134 -x135 -x136 x137 x138 -x139 x140
554.12/554.40	v x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
554.12/554.40	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
554.12/554.40	v -x161 -x162 -x163 x164 -x165 -x166 -x167 x168 -x169 -x170
554.12/554.40	v -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180
554.12/554.40	v -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
554.12/554.40	v -x191 -x192 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200
554.12/554.40	v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
554.12/554.40	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
554.12/554.40	v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
554.12/554.40	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240
554.12/554.40	v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
554.12/554.40	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260
554.12/554.40	v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270
554.12/554.40	v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280
554.12/554.40	v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290
554.12/554.40	v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
554.12/554.40	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
554.12/554.40	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320
554.12/554.40	v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
554.12/554.40	v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
554.12/554.40	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350
554.12/554.40	v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
554.12/554.40	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
554.12/554.40	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380
554.12/554.40	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390
554.12/554.40	v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400
554.12/554.40	v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410
554.12/554.40	v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
554.12/554.40	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
554.12/554.40	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
554.12/554.40	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450
554.12/554.40	v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
554.12/554.40	v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
554.12/554.40	v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480
554.12/554.40	v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
554.12/554.40	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500
554.12/554.40	v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
554.12/554.40	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520
554.12/554.40	v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530
554.12/554.40	v -x531 -x532 x533 x534 -x535 -x536 -x537 x538 x539 -x540
554.12/554.40	v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
554.12/554.40	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560
554.12/554.40	v x561 -x562 x563 x564 x565 x566 -x567 -x568 -x569 -x570
554.12/554.40	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580
554.12/554.40	v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
554.12/554.40	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600
554.12/554.40	v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610
554.12/554.40	v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620
554.12/554.40	v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
554.12/554.40	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640
554.12/554.40	v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
554.12/554.40	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
554.12/554.40	v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670
554.12/554.40	v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680
554.12/554.40	v x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690
554.12/554.40	v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700
554.12/554.40	v -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710
554.12/554.40	v x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 x720
554.12/554.40	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730
554.12/554.40	v -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740
554.12/554.40	v x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750
554.12/554.40	v -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760
554.12/554.40	v -x761 -x762 -x763 -x764 -x765 -x766 x767 -x768 -x769 -x770
554.12/554.40	v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780
554.12/554.40	v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790
554.12/554.40	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
554.12/554.40	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810
554.12/554.40	v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820
554.12/554.40	v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830
554.12/554.40	v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
554.12/554.40	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
554.12/554.40	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
554.12/554.40	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870
554.12/554.40	v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
554.12/554.40	v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890
554.12/554.40	v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
554.12/554.40	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910
554.12/554.40	v -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 x920
554.12/554.40	v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930
554.12/554.40	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940
554.12/554.40	v -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950
554.12/554.40	v -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960
554.12/554.40	v -x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 -x970
554.12/554.40	v -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980
554.12/554.40	v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990
554.12/554.40	v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
554.12/554.40	v -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
554.12/554.40	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020
554.12/554.40	v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030
554.12/554.40	v -x1031 -x1032 x1033 x1034 x1035 x1036 -x1037 -x1038 -x1039 -x1040
554.12/554.40	v x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050
554.12/554.40	v -x1051 x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060
554.12/554.40	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
554.12/554.40	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
554.12/554.40	v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
554.12/554.40	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100
554.12/554.40	v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110
554.12/554.40	v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120
554.12/554.40	v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130
554.12/554.40	v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140
554.12/554.40	v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
554.12/554.40	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160
554.12/554.40	v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170
554.12/554.40	v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
554.12/554.40	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190
554.12/554.40	v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200
554.12/554.40	v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
554.12/554.40	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 x1219 -x1220
554.12/554.40	v x1221 -x1222 x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230
554.12/554.40	v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240
554.12/554.40	v x1241 -x1242 -x1243 -x1244 x1245 x1246 -x1247 -x1248 -x1249 -x1250
554.12/554.40	v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260
554.12/554.40	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270
554.12/554.40	v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280
554.12/554.40	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
554.12/554.40	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300
554.12/554.40	v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310
554.12/554.40	v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320
554.12/554.40	v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
554.12/554.40	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340
554.12/554.40	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
554.12/554.40	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360
554.12/554.40	v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
554.12/554.40	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
554.12/554.40	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390
554.12/554.40	v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
554.12/554.40	v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410
554.12/554.40	v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420
554.12/554.40	v -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430
554.12/554.40	v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
554.12/554.40	v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450
554.12/554.40	v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460
554.12/554.40	v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470
554.12/554.40	v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
554.12/554.40	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490
554.12/554.40	v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500
554.12/554.40	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
554.12/554.40	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520
554.12/554.40	v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530
554.12/554.40	v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540
554.12/554.40	v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550
554.12/554.40	v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
554.12/554.40	v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570
554.12/554.40	v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580
554.12/554.40	v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
554.12/554.40	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600
554.12/554.40	v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610
554.12/554.40	v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
554.12/554.40	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
554.12/554.40	v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640
554.12/554.40	v -x1641 x1642 -x1643 -x1644 x1645 x1646 x1647 -x1648 -x1649 -x1650
554.12/554.40	v -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660
554.12/554.40	v -x1661 -x1662 -x1663 x1664 -x1665 -x1666 -x1667 x1668 x1669 -x1670
554.12/554.40	v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680
554.12/554.40	v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690
554.12/554.40	v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
554.12/554.40	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710
554.12/554.40	v -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720
554.12/554.40	v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
554.12/554.40	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
554.12/554.40	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750
554.12/554.40	v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760
554.12/554.40	v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770
554.12/554.40	v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
554.12/554.40	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790
554.12/554.40	v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800
554.12/554.40	v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
554.12/554.40	v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
554.12/554.40	v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830
554.12/554.40	v -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
554.12/554.40	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850
554.12/554.40	v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860
554.12/554.40	v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870
554.12/554.40	v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880
554.12/554.40	v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890
554.12/554.40	v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900
554.12/554.40	v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910
554.12/554.40	v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
554.12/554.40	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930
554.12/554.40	v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940
554.12/554.40	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
554.12/554.40	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960
554.12/554.40	v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970
554.12/554.40	v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 x1980
554.12/554.40	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990
554.12/554.40	v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000
554.12/554.40	v -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
554.12/554.40	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020
554.12/554.40	v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
554.12/554.40	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040
554.12/554.40	v -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 x2050
554.12/554.40	v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060
554.12/554.40	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 x2069 x2070
554.12/554.40	v -x2071 -x2072 -x2073 -x2074 x2075 -x2076 -x2077 -x2078 -x2079 -x2080
554.12/554.40	v -x2081 -x2082 -x2083 -x2084 -x2085 x2086 x2087 -x2088 -x2089 -x2090
554.12/554.40	v -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100
554.12/554.40	v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110
554.12/554.40	v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120
554.12/554.40	v x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 x2130
554.12/554.40	v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
554.12/554.40	v -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150
554.12/554.40	v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160
554.12/554.40	v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170
554.12/554.40	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180
554.12/554.40	v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190
554.12/554.40	v x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200
554.12/554.40	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 x2209 -x2210
554.12/554.40	v -x2211 -x2212 -x2213 -x2214 x2215 -x2216 -x2217 -x2218 -x2219 -x2220
554.12/554.40	v -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230
554.12/554.40	v -x2231 -x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240
554.12/554.40	v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 x2247 -x2248 -x2249 -x2250
554.12/554.40	v -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 -x2259 -x2260
554.12/554.40	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
554.12/554.40	v x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
554.12/554.40	v x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290
554.12/554.40	v -x2291 -x2292 -x2293 x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300
554.12/554.40	v -x2301 -x2302 x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310
554.12/554.40	v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320
554.12/554.40	v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330
554.12/554.40	v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340
554.12/554.40	v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350
554.12/554.40	v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
554.12/554.40	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370
554.12/554.40	v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380
554.12/554.40	v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
554.12/554.40	v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400
554.12/554.40	v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410
554.12/554.40	v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420
554.12/554.40	v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430
554.12/554.40	v -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
554.12/554.40	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
554.12/554.40	c total CPU time = 552.867s
554.12/554.40	c total wall clock time = 554.402s

Verifier Data 

OK	0

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

pid=22182
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.23 2.16 2.10 3/180 22185
/proc/meminfo: memFree=30445664/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=485820 CPUtime=0 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 1768 0 0 0 0 0 0 0 20 0 4 0 14026847 497479680 2641 33554432000 4194304 16246674 140735811504256 140735811503680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 121967 2651 441 2943 0 118861 0
[pid=22185/tid=22186] ppid=22182 vsize=503228 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 515305472 2711 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=507324 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 519499776 2727 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=512444 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 524742656 2744 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.23 2.16 2.10 3/180 22185
/proc/meminfo: memFree=30445664/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 28192 0 0 0 5 4 0 0 20 0 4 0 14026847 1249447936 29002 33554432000 4194304 16246674 140735811504256 140735811503568 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 305041 29002 802 2943 0 301935 0
[pid=22185/tid=22186] ppid=22182 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1249447936 29002 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1249447936 29002 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1249447936 29002 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.20052 s]
/proc/loadavg: 2.23 2.16 2.10 3/180 22185
/proc/meminfo: memFree=30445664/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 50781 0 0 0 12 7 0 0 20 0 4 0 14026847 1344868352 52102 33554432000 4194304 16246674 140735811504256 140735811503568 8056974 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 328337 52102 802 2943 0 325231 0
[pid=22185/tid=22186] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 52102 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 52102 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 52102 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300466 s]
/proc/loadavg: 2.23 2.16 2.10 3/180 22185
/proc/meminfo: memFree=30445664/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 57354 0 0 0 21 7 0 0 20 0 4 0 14026847 1344868352 58675 33554432000 4194304 16246674 140735811504256 140735811487248 6965916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 328337 58688 836 2943 0 325231 0
[pid=22185/tid=22186] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 58695 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 58703 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 58712 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700446 s]
/proc/loadavg: 2.23 2.16 2.10 3/180 22185
/proc/meminfo: memFree=30445664/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 139462 0 0 0 50 18 0 0 20 0 4 0 14026847 1344868352 140783 33554432000 4194304 16246674 140735811504256 140735811487248 5532301 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 328337 140789 879 2943 0 325231 0
[pid=22185/tid=22186] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 140792 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 140797 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1344868352 140801 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50044 s]
/proc/loadavg: 2.23 2.16 2.10 3/184 22189
/proc/meminfo: memFree=29587352/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1320516 CPUtime=1.49 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 270676 0 0 0 113 36 0 0 20 0 4 0 14026847 1352208384 271997 33554432000 4194304 16246674 140735811504256 140735811486144 5674776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 330129 271997 882 2943 0 327023 0
[pid=22185/tid=22186] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 271997 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 271997 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 271997 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1320516

[startup+3.10045 s]
/proc/loadavg: 2.23 2.16 2.10 3/184 22189
/proc/meminfo: memFree=29358572/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1320516 CPUtime=3.09 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 270800 0 0 0 273 36 0 0 20 0 4 0 14026847 1352208384 272121 33554432000 4194304 16246674 140735811504256 140735811503568 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 330129 272121 886 2943 0 327023 0
[pid=22185/tid=22186] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272121 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272121 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272121 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1320516

[startup+6.30045 s]
/proc/loadavg: 2.29 2.17 2.10 3/184 22189
/proc/meminfo: memFree=29358628/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1320516 CPUtime=6.29 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 270802 0 0 0 593 36 0 0 20 0 4 0 14026847 1352208384 272123 33554432000 4194304 16246674 140735811504256 140735811486144 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 330129 272123 888 2943 0 327023 0
[pid=22185/tid=22186] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272123 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272123 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272123 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1320516

[startup+12.7005 s]
/proc/loadavg: 2.27 2.17 2.10 3/184 22189
/proc/meminfo: memFree=29359064/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1320516 CPUtime=12.69 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 270802 0 0 0 1233 36 0 0 20 0 4 0 14026847 1352208384 272123 33554432000 4194304 16246674 140735811504256 140735811486144 12995176 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 330129 272123 888 2943 0 327023 0
[pid=22185/tid=22186] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272123 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272123 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272123 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1320516

[startup+25.5005 s]
/proc/loadavg: 2.21 2.16 2.10 3/184 22189
/proc/meminfo: memFree=29359872/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1320516 CPUtime=25.49 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 270805 0 0 0 2513 36 0 0 20 0 4 0 14026847 1352208384 272126 33554432000 4194304 16246674 140735811504256 140735811486144 6022991 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 330129 272126 889 2943 0 327023 0
[pid=22185/tid=22186] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272126 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272126 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1352208384 272126 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.20 2.16 2.10 3/184 22189
/proc/meminfo: memFree=29346364/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1333828 CPUtime=51.08 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 274133 0 0 0 5072 36 0 0 20 0 4 0 14026847 1365839872 275454 33554432000 4194304 16246674 140735811504256 140735811486144 5823975 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 333457 275454 889 2943 0 330351 0
[pid=22185/tid=22186] ppid=22182 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1365839872 275454 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1365839872 275454 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1365839872 275454 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1333828

[startup+102.3 s]
/proc/loadavg: 2.13 2.15 2.10 3/183 22191
/proc/meminfo: memFree=29339884/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1339972 CPUtime=102.28 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 275669 0 0 0 10190 38 0 0 20 0 4 0 14026847 1372131328 276990 33554432000 4194304 16246674 140735811504256 140735811486144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 334993 276990 889 2943 0 331887 0
[pid=22185/tid=22186] ppid=22182 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1372131328 276990 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1372131328 276990 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1372131328 276990 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1339972


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

/proc/22185/statm: 350609 292609 889 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292609 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292609 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292609 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1402436

[startup+402.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 22245
/proc/meminfo: memFree=29311552/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=402.19 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291372 0 0 0 40176 43 0 0 20 0 4 0 14026847 1436094464 292609 33554432000 4194304 16246674 140735811504256 140735811486144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292609 889 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292609 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292609 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292609 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1402436

[startup+462.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/183 22246
/proc/meminfo: memFree=29311192/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=462.15 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291412 0 0 0 46172 43 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811486144 12483562 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1402436

[startup+522.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 22247
/proc/meminfo: memFree=29311396/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=522.13 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291445 0 0 0 52170 43 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811503352 4206688 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1402436

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

[startup+537.6 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 22248
/proc/meminfo: memFree=29310680/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=537.42 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291446 0 0 0 53699 43 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811486144 5677537 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 537.42
Current children cumulated vsize (KiB) 1402436

[startup+544 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 22248
/proc/meminfo: memFree=29310740/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=543.82 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291452 0 0 0 54339 43 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811487256 5823666 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 543.82
Current children cumulated vsize (KiB) 1402436

[startup+550.4 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 22248
/proc/meminfo: memFree=29311112/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=550.22 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291452 0 0 0 54978 44 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811486144 5829939 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 550.22
Current children cumulated vsize (KiB) 1402436

[startup+552 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 22248
/proc/meminfo: memFree=29311236/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=551.82 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291460 0 0 0 55138 44 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811486144 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 551.82
Current children cumulated vsize (KiB) 1402436

[startup+553.6 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 22248
/proc/meminfo: memFree=29310972/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=553.42 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291460 0 0 0 55298 44 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811486144 5823863 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 553.42
Current children cumulated vsize (KiB) 1402436

[startup+554 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 22248
/proc/meminfo: memFree=29310972/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=553.82 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291460 0 0 0 55338 44 0 0 20 0 4 0 14026847 1436094464 292610 33554432000 4194304 16246674 140735811504256 140735811486144 5672230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292610 890 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397376417008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397365927152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292610 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 553.82
Current children cumulated vsize (KiB) 1402436

[startup+554.4 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 22248
/proc/meminfo: memFree=29310972/32872528 swapFree=302776/319128
[pid=22185] ppid=22182 vsize=1402436 CPUtime=554.22 cores=0,2,4,6
/proc/22185/stat : 22185 (toysat) R 22182 22185 16914 0 -1 4202496 291464 0 0 0 55378 44 0 0 20 0 4 0 14026847 1436094464 292614 33554432000 4194304 16246674 140735811504256 140735811486144 13880757 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22185/statm: 350609 292614 894 2943 0 347503 0
[pid=22185/tid=22186] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22186/stat : 22186 (toysat) S 22182 22185 16914 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292614 33554432000 4194304 16246674 140735811504256 140397376416784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22187] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22187/stat : 22187 (toysat) S 22182 22185 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292614 33554432000 4194304 16246674 140735811504256 140397365926928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22185/tid=22188] ppid=22182 vsize=1402436 CPUtime=0 cores=0,2,4,6
/proc/22185/task/22188/stat : 22188 (toysat) S 22182 22185 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 14026848 1436094464 292614 33554432000 4194304 16246674 140735811504256 140397246409904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 554.22
Current children cumulated vsize (KiB) 1402436

Child status: 0
Real time (s): 554.456
CPU time (s): 554.272
CPU user time (s): 553.79
CPU system time (s): 0.481926
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 1402436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 553.79
system time used= 0.481926
maximum resident set size= 1170464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78873 second user time and 2.15567 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-17 01:30:02
IDJOB=4098171
IDBENCH=107862
IDSOLVER=2542
FILE ID=node128/4098171-1466119802
RUNJOBID= node128-1466113207-19339
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression32_17.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098171-1466119802/watcher-4098171-1466119802 -o /tmp/evaluation-result-4098171-1466119802/solver-4098171-1466119802 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19339 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098171-1466119802.opb

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

MD5SUM BENCH= df7102916451f7d4a0d99457cb366cd4
RANDOM SEED=1726226470

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30445936 kB
Buffers:           76868 kB
Cached:           194624 kB
SwapCached:         2096 kB
Active:          1284284 kB
Inactive:         115016 kB
Active(anon):    1128440 kB
Inactive(anon):     1600 kB
Active(file):     155844 kB
Inactive(file):   113416 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             17152 kB
Writeback:             0 kB
AnonPages:       1398296 kB
Mapped:            10700 kB
Shmem:                 0 kB
Slab:             572460 kB
SReclaimable:      16032 kB
SUnreclaim:       556428 kB
KernelStack:        1528 kB
PageTables:         6968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1590016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1089536 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= 71672 MiB
End job on node128 at 2016-06-17 01:39:17