Trace number 4079309

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_9.opb
MD5SUM9dfe9f707e4bec0ff7b60653d14cbd16
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4072923
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 126506008
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 91840906354
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 126506008
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 91840906354
Number of bits of the biggest sum of numbers37
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-07T22:47:33+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-4079309-1465332453.opb"]
0.00/0.01	c use --random-gen="562638698 147446657 3093590197 1829128643 629823063 1952263950 4035683177 3447057848 1214311037 1926929107 2616766863 1984812206 4283846955 1341070102 3604953882 3277396331 1703132399 881394784 3433864291 508573062 1549629160 879306152 3599724741 1504732005 3955761461 1080016233 3321560725 3203533338 2553966522 3873775816 1201869447 2954951726 1696734838 2716129932 756487610 1487224200 3605797860 2769860990 374985065 3234260416 1380527657 723935203 1631160649 2854237130 3939014577 2417890014 4262944794 1416137706 1294881192 363078616 409861041 113069084 504789058 707937842 1689329443 1369395377 1816621748 811386498 325723561 4223798947 1024427472 2603788851 2160284148 2182110486 2658247653 635561018 448137513 2384480419 2040425674 4214093916 3965766864 600712884 2682042170 24616582 4184204353 19598236 2160367286 2953335568 4097346345 3680543036 3402949941 1502417051 851413340 3534546157 2137952915 401636837 3321407157 3862391499 2145826766 1399807890 1828954394 1299636574 265563877 4278303471 3284187821 2223006449 3999024874 2678401308 1991382179 2416045148 2531405981 2567963183 523728107 2601002989 431593969 1353650222 2454576471 2205639947 908504898 3071949187 2673334098 3427871763 1673472200 1930467914 1864134059 1142295973 2770791854 2393537530 1111948988 1071027638 601243038 842563721 2384697567 2267948755 1399450528 469886313 1687820484 2462381827 4004993279 1167845349 3368404490 1637486543 3729237305 3993901641 38947898 1375099891 3821501465 3672137901 2613598649 3747230342 3056080427 4148808634 2165473515 1391504860 3773888584 1784332563 2279823197 1696192800 2707481788 2730569788 4042555110 3748637595 2318853403 110915653 3227371611 2134478275 3665007648 3423173676 3984551804 233995574 2735034149 4291287541 509252230 1876673510 4052743367 2159605542 2795022980 2631531927 2236624110 3536920005 4095697103 797146404 1449992148 717519012 1592645568 2550117470 1790107675 197044711 4126301472 1854440890 2605603251 336475848 227089352 1942171233 3348517049 1279447925 2412328263 3382527404 605207158 3402154064 2705679755 3875715104 1178655056 3168313710 3012363888 787267346 539770914 438306295 164945399 1675406962 4192440269 2968554109 3816361970 3341741575 2610187426 138537139 711769727 1205522905 2098065300 3042102005 962797388 3608677960 387647165 969113843 2564846367 2386947960 2796248056 784488095 3028957612 3767116738 2958455315 2008170475 2907716184 244279719 4225300542 534696961 3992737795 2039064700 4050831875 37035867 193827127 384024667 2523710458 197845820 920881380 356586194 3789413806 238192075 1549649625 3389365346 2898924205 1921873559 700630768 1311242405 4194720140 2832919447 4091190743 2168058787 2237631825 1596283896 1416175346 652098697 2900810497 3681646416 3444966913 1157633459 255 362436" option to reproduce the execution
0.09/0.20	c #vars 9940
0.09/0.20	c #constraints 14846
0.59/0.68	c BCD2: Hardening is enabled.
0.59/0.68	c BCD2: BiasedSearch is enabled.
0.59/0.68	c Solving starts ...
0.59/0.68	c ============================[ Search Statistics ]============================
0.59/0.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.68	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.68	c =============================================================================
0.59/0.68	c  0.0s |       0 |        0 |        0 |    11482      0 |      140 |        0
0.89/0.95	c  0.3s |       1 |      151 |      100 |    11482      0 |      140 |        0
2.79/2.81	c  2.1s |       2 |     1308 |      250 |    12631      0 |      140 |        0
4.59/4.63	c  4.0s |       3 |     1665 |      475 |    13895      0 |      140 |        0
6.28/6.31	c  5.6s |       4 |     2061 |      813 |    15285      0 |      140 |        0
9.18/9.29	c  8.6s |       4 |     2355 |     1013 |    16814      0 |      140 |        0
12.28/12.33	c 11.7s |       4 |     2581 |     1213 |    16814      0 |      140 |        0
13.49/13.51	c 12.8s |       5 |     2845 |     1320 |    16814      0 |      140 |        0
15.99/16.05	c 15.4s |       5 |     3254 |     1620 |    18496      0 |      140 |        0
17.99/18.06	c 17.4s |       5 |     3473 |     1820 |    18496      0 |      140 |        0
20.09/20.11	c 19.4s |       6 |     3728 |     2081 |    20346      0 |      140 |        0
22.38/22.41	c 21.7s |       6 |     4458 |     2481 |    20346      0 |      140 |        0
24.48/24.52	c 23.8s |       6 |     5048 |     2981 |    20346      0 |      140 |        0
25.29/25.30	c 24.6s |       7 |     5349 |     3223 |    22381      0 |      140 |        0
27.98/28.03	c 27.4s |       7 |     5643 |     3423 |    22381      0 |      140 |        0
30.68/30.70	c 30.0s |       7 |     5982 |     3723 |    22381      0 |      140 |        0
33.88/33.92	c 33.2s |       7 |     6370 |     4023 |    22381      0 |      140 |        0
36.68/36.79	c 36.1s |       7 |     6601 |     4223 |    22381      0 |      140 |        0
39.48/39.50	c 38.8s |       7 |     6829 |     4423 |    22381      0 |      140 |        0
42.09/42.12	c 41.4s |       7 |     7042 |     4623 |    22381      0 |      140 |        0
45.09/45.13	c 44.5s |       7 |     7262 |     4823 |    22381      0 |      140 |        0
46.78/46.87	c 46.2s |       8 |     7378 |     4936 |    24620      0 |      140 |        0
50.29/50.31	c 49.6s |       8 |     7663 |     5136 |    24620      0 |      140 |        0
53.58/53.64	c 53.0s |       8 |     7874 |     5336 |    24620      0 |      140 |        0
56.78/56.83	c 56.2s |       8 |     8088 |     5536 |    24620      0 |      140 |        0
59.88/59.97	c 59.3s |       8 |     8293 |     5736 |    24620      0 |      140 |        0
63.08/63.13	c 62.4s |       8 |     8532 |     5936 |    24620      0 |      140 |        0
66.09/66.18	c 65.5s |       8 |     8741 |     6136 |    24620      0 |      140 |        0
69.29/69.34	c 68.7s |       8 |     8983 |     6336 |    24620      0 |      140 |        0
71.38/71.46	c 70.8s |       8 |     9208 |     6536 |    24620      0 |      140 |        0
74.18/74.20	c 73.5s |       8 |     9461 |     6736 |    24620      0 |      140 |        0
76.18/76.28	c 75.6s |       8 |     9691 |     6936 |    24620      0 |      140 |        0
78.28/78.35	c 77.7s |       8 |     9912 |     7136 |    24620      0 |      140 |        0
80.98/81.01	c 80.3s |       8 |    10141 |     7336 |    24620      0 |      140 |        0
83.68/83.76	c 83.1s |       9 |    10321 |     7506 |    27083      0 |      140 |        0
86.18/86.25	c 85.6s |       9 |    10624 |     7706 |    27083      0 |      140 |        0
88.38/88.44	c 87.8s |       9 |    10858 |     7906 |    27083      0 |      140 |        0
91.28/91.35	c 90.7s |       9 |    11099 |     8106 |    27083      0 |      140 |        0
94.58/94.68	c 94.0s |       9 |    11307 |     8306 |    27083      0 |      140 |        0
97.58/97.61	c 96.9s |       9 |    11530 |     8506 |    27083      0 |      140 |        0
99.97/100.08	c 99.4s |       9 |    11765 |     8706 |    27083      0 |      140 |        0
103.07/103.18	c  102s |       9 |    12041 |     8906 |    27083      0 |      140 |        0
106.17/106.24	c  105s |       9 |    12418 |     9206 |    27083      0 |      140 |        0
109.07/109.13	c  108s |       9 |    12670 |     9406 |    27083      0 |      140 |        0
112.18/112.23	c  111s |       9 |    12901 |     9606 |    27083      0 |      140 |        0
115.27/115.31	c  114s |       9 |    13134 |     9806 |    27083      0 |      140 |        0
118.17/118.22	c  117s |       9 |    13375 |    10006 |    27083      0 |      140 |        0
120.47/120.59	c  119s |       9 |    13600 |    10206 |    27083      0 |      140 |        0
122.77/122.89	c  122s |       9 |    13840 |    10406 |    27083      0 |      140 |        0
125.97/126.05	c  125s |       9 |    14076 |    10606 |    27083      0 |      140 |        0
129.27/129.30	c  128s |       9 |    14289 |    10806 |    27083      0 |      140 |        0
132.16/132.26	c  131s |       9 |    14508 |    11006 |    27083      0 |      140 |        0
134.76/134.84	c  134s |       9 |    14942 |    11306 |    29792      0 |      140 |        0
135.57/135.61	c  134s |      10 |    15004 |    11361 |    29792      0 |      140 |        0
137.77/137.86	c  137s |      10 |    15530 |    11461 |    29792      0 |      140 |        0
140.17/140.24	c  139s |      10 |    15659 |    11561 |    29792      0 |      140 |        0
144.17/144.25	c  143s |      10 |    15766 |    11661 |    29792      0 |      140 |        0
147.76/147.87	c  147s |      10 |    15896 |    11761 |    29792      0 |      140 |        0
151.96/152.06	c  151s |      10 |    16141 |    11961 |    29792      0 |      140 |        0
154.57/154.61	c  153s |      10 |    16401 |    12061 |    29792      0 |      140 |        0
156.77/156.80	c  156s |      10 |    16796 |    12361 |    29792      0 |      140 |        0
159.17/159.23	c  158s |      10 |    17282 |    12661 |    29792      0 |      140 |        0
161.36/161.47	c  160s |      10 |    17532 |    12861 |    29792      0 |      140 |        0
163.47/163.58	c  162s |      10 |    17732 |    13061 |    29792      0 |      140 |        0
166.07/166.15	c  165s |      10 |    18034 |    13361 |    29792      0 |      140 |        0
168.86/168.90	c  168s |      10 |    18338 |    13661 |    29792      0 |      140 |        0
170.97/171.07	c  170s |      10 |    18680 |    13961 |    29792      0 |      140 |        0
173.97/174.05	c  173s |      10 |    19025 |    14261 |    29792      0 |      140 |        0
177.76/177.82	c  177s |      10 |    19355 |    14561 |    29792      0 |      140 |        0
180.26/180.30	c  179s |      10 |    19583 |    14761 |    29792      0 |      140 |        0
183.26/183.37	c  182s |      10 |    19798 |    14961 |    29792      0 |      140 |        0
185.46/185.57	c  184s |      10 |    20016 |    15161 |    29792      0 |      140 |        0
187.66/187.76	c  187s |      10 |    20231 |    15361 |    29792      0 |      140 |        0
190.37/190.49	c  189s |      10 |    20572 |    15661 |    29792      0 |      140 |        0
193.36/193.47	c  192s |      10 |    20910 |    15961 |    29792      0 |      140 |        0
195.66/195.79	c  195s |      10 |    21137 |    16161 |    29792      0 |      140 |        0
198.35/198.41	c  197s |      10 |    21357 |    16361 |    29792      0 |      140 |        0
200.96/201.02	c  200s |      10 |    21576 |    16561 |    29792      0 |      140 |        0
203.56/203.62	c  202s |      10 |    21817 |    16761 |    29792      0 |      140 |        0
206.25/206.33	c  205s |      10 |    22158 |    17061 |    32772      0 |      140 |        0
207.16/207.22	c  206s |      11 |    22244 |    17144 |    32772      0 |      140 |        0
209.66/209.77	c  209s |      11 |    22432 |    17244 |    32772      0 |      140 |        0
211.86/211.92	c  211s |      11 |    22551 |    17344 |    32772      0 |      140 |        0
214.76/214.84	c  214s |      11 |    22789 |    17544 |    32772      0 |      140 |        0
216.86/216.95	c  216s |      11 |    23015 |    17744 |    32772      0 |      140 |        0
219.86/219.91	c  219s |      11 |    23260 |    17944 |    32772      0 |      140 |        0
222.06/222.18	c  221s |      11 |    23508 |    18144 |    32772      0 |      140 |        0
224.95/225.02	c  224s |      11 |    23726 |    18344 |    32772      0 |      140 |        0
227.66/227.79	c  227s |      11 |    23952 |    18544 |    32772      0 |      140 |        0
230.35/230.40	c  229s |      11 |    24253 |    18744 |    32772      0 |      140 |        0
233.05/233.12	c  232s |      11 |    24485 |    18944 |    32772      0 |      140 |        0
235.25/235.37	c  234s |      11 |    24709 |    19144 |    32772      0 |      140 |        0
238.15/238.23	c  237s |      11 |    24959 |    19344 |    32772      0 |      140 |        0
240.35/240.43	c  239s |      11 |    25302 |    19644 |    32772      0 |      140 |        0
243.35/243.45	c  242s |      11 |    25563 |    19844 |    32772      0 |      140 |        0
246.25/246.38	c  245s |      11 |    25849 |    20044 |    32772      0 |      140 |        0
249.35/249.45	c  248s |      11 |    26108 |    20244 |    32772      0 |      140 |        0
251.65/251.79	c  251s |      11 |    26354 |    20444 |    32772      0 |      140 |        0
255.15/255.24	c  254s |      11 |    26608 |    20644 |    32772      0 |      140 |        0
257.24/257.38	c  256s |      11 |    26920 |    20944 |    32772      0 |      140 |        0
259.65/259.77	c  259s |      11 |    27181 |    21144 |    32772      0 |      140 |        0
261.95/262.01	c  261s |      11 |    27287 |    21244 |    32772      0 |      140 |        0
265.55/265.66	c  264s |      11 |    27515 |    21444 |    32772      0 |      140 |        0
268.85/268.98	c  268s |      11 |    27804 |    21644 |    32772      0 |      140 |        0
271.76/271.87	c  271s |      11 |    28124 |    21844 |    32772      0 |      140 |        0
274.75/274.89	c  274s |      11 |    28425 |    22044 |    32772      0 |      140 |        0
277.75/277.84	c  277s |      11 |    28649 |    22244 |    32772      0 |      140 |        0
280.46/280.52	c  279s |      11 |    28987 |    22544 |    32772      0 |      140 |        0
283.75/283.89	c  283s |      11 |    29237 |    22744 |    32772      0 |      140 |        0
285.85/285.92	c  285s |      11 |    29343 |    22844 |    32772      0 |      140 |        0
289.35/289.42	c  288s |      11 |    29587 |    23044 |    32772      0 |      140 |        0
292.65/292.78	c  292s |      11 |    29807 |    23244 |    32772      0 |      140 |        0
295.05/295.17	c  294s |      11 |    30120 |    23544 |    32772      0 |      140 |        0
298.75/298.86	c  298s |      11 |    30605 |    23844 |    32772      0 |      140 |        0
300.74/300.88	c  300s |      11 |    30716 |    23944 |    32772      0 |      140 |        0
302.84/302.93	c  302s |      11 |    30847 |    24044 |    32772      0 |      140 |        0
305.35/305.44	c  304s |      11 |    30961 |    24144 |    32772      0 |      140 |        0
307.54/307.65	c  306s |      11 |    31070 |    24244 |    32772      0 |      140 |        0
309.74/309.80	c  309s |      11 |    31177 |    24344 |    32772      0 |      140 |        0
313.45/313.52	c  312s |      11 |    31415 |    24544 |    32772      0 |      140 |        0
315.75/315.84	c  315s |      11 |    31503 |    24644 |    32772      0 |      140 |        0
317.84/317.97	c  317s |      11 |    31844 |    24944 |    32772      0 |      140 |        0
320.24/320.38	c  319s |      11 |    32109 |    25144 |    32772      0 |      140 |        0
324.24/324.35	c  323s |      11 |    32325 |    25344 |    32772      0 |      140 |        0
326.74/326.81	c  326s |      11 |    32425 |    25444 |    32772      0 |      140 |        0
330.34/330.44	c  329s |      11 |    32679 |    25644 |    32772      0 |      140 |        0
332.74/332.83	c  332s |      11 |    32798 |    25744 |    36050      0 |      140 |        0
334.74/334.80	c  334s |      12 |    32882 |    25819 |    36050      0 |      140 |        0
337.43/337.54	c  336s |      12 |    33062 |    25919 |    36050      0 |      140 |        0
340.44/340.57	c  339s |      12 |    33296 |    26119 |    36050      0 |      140 |        0
343.64/343.75	c  343s |      12 |    33526 |    26319 |    36050      0 |      140 |        0
347.14/347.23	c  346s |      12 |    33747 |    26519 |    36050      0 |      140 |        0
350.64/350.74	c  350s |      12 |    33959 |    26719 |    36050      0 |      140 |        0
353.64/353.79	c  353s |      12 |    34178 |    26919 |    36050      0 |      140 |        0
356.74/356.87	c  356s |      12 |    34395 |    27119 |    36050      0 |      140 |        0
359.23/359.37	c  358s |      12 |    34610 |    27319 |    36050      0 |      140 |        0
362.94/363.05	c  362s |      12 |    34944 |    27619 |    36050      0 |      140 |        0
365.03/365.14	c  364s |      12 |    35168 |    27819 |    36050      0 |      140 |        0
367.53/367.65	c  366s |      12 |    35381 |    28019 |    36050      0 |      140 |        0
370.13/370.24	c  369s |      12 |    35605 |    28219 |    36050      0 |      140 |        0
373.13/373.24	c  372s |      12 |    35814 |    28419 |    36050      0 |      140 |        0
376.43/376.52	c  375s |      12 |    36022 |    28619 |    36050      0 |      140 |        0
379.23/379.37	c  378s |      12 |    36244 |    28819 |    36050      0 |      140 |        0
381.74/381.89	c  381s |      12 |    36464 |    29019 |    36050      0 |      140 |        0
385.04/385.18	c  384s |      12 |    36675 |    29219 |    36050      0 |      140 |        0
387.93/388.06	c  387s |      12 |    36893 |    29419 |    36050      0 |      140 |        0
390.72/390.85	c  390s |      12 |    37103 |    29619 |    36050      0 |      140 |        0
393.53/393.66	c  392s |      12 |    37308 |    29819 |    36050      0 |      140 |        0
396.73/396.89	c  396s |      12 |    37512 |    30019 |    36050      0 |      140 |        0
399.33/399.45	c  398s |      12 |    37733 |    30219 |    36050      0 |      140 |        0
402.12/402.22	c  401s |      12 |    37936 |    30419 |    36050      0 |      140 |        0
405.23/405.31	c  404s |      12 |    38143 |    30619 |    36050      0 |      140 |        0
407.83/407.99	c  407s |      12 |    38353 |    30819 |    36050      0 |      140 |        0
410.53/410.62	c  409s |      12 |    38585 |    31019 |    36050      0 |      140 |        0
414.03/414.17	c  413s |      12 |    38797 |    31219 |    36050      0 |      140 |        0
417.42/417.50	c  416s |      12 |    39014 |    31419 |    36050      0 |      140 |        0
420.62/420.77	c  420s |      12 |    39214 |    31619 |    36050      0 |      140 |        0
423.43/423.58	c  422s |      12 |    39430 |    31819 |    36050      0 |      140 |        0
426.62/426.72	c  426s |      12 |    39652 |    32019 |    36050      0 |      140 |        0
429.32/429.49	c  428s |      12 |    39875 |    32219 |    36050      0 |      140 |        0
432.33/432.49	c  431s |      12 |    40076 |    32419 |    36050      0 |      140 |        0
434.82/434.90	c  434s |      12 |    40283 |    32619 |    36050      0 |      140 |        0
437.22/437.39	c  436s |      12 |    40508 |    32819 |    36050      0 |      140 |        0
439.82/439.95	c  439s |      12 |    40717 |    33019 |    36050      0 |      140 |        0
442.23/442.37	c  441s |      12 |    40932 |    33219 |    36050      0 |      140 |        0
444.82/444.97	c  444s |      12 |    41136 |    33419 |    36050      0 |      140 |        0
447.63/447.77	c  447s |      12 |    41336 |    33619 |    36050      0 |      140 |        0
449.83/449.94	c  449s |      12 |    41557 |    33819 |    36050      0 |      140 |        0
452.42/452.54	c  451s |      12 |    41778 |    34019 |    36050      0 |      140 |        0
454.82/454.94	c  454s |      12 |    41992 |    34219 |    36050      0 |      140 |        0
457.22/457.39	c  456s |      12 |    42199 |    34419 |    36050      0 |      140 |        0
459.42/459.52	c  458s |      12 |    42430 |    34619 |    36050      0 |      140 |        0
461.93/462.02	c  461s |      12 |    42643 |    34819 |    36050      0 |      140 |        0
464.32/464.42	c  463s |      12 |    42861 |    35019 |    36050      0 |      140 |        0
467.22/467.31	c  466s |      12 |    43079 |    35219 |    36050      0 |      140 |        0
470.02/470.16	c  469s |      12 |    43298 |    35419 |    36050      0 |      140 |        0
472.62/472.76	c  472s |      12 |    43499 |    35619 |    36050      0 |      140 |        0
475.32/475.46	c  474s |      12 |    43717 |    35819 |    36050      0 |      140 |        0
478.22/478.37	c  477s |      12 |    43926 |    36019 |    36050      0 |      140 |        0
480.72/480.83	c  480s |      12 |    44139 |    36219 |    36050      0 |      140 |        0
482.92/483.06	c  482s |      12 |    44356 |    36419 |    36050      0 |      140 |        0
486.32/486.41	c  485s |      12 |    44682 |    36719 |    36050      0 |      140 |        0
489.11/489.28	c  488s |      12 |    44895 |    36919 |    36050      0 |      140 |        0
491.51/491.60	c  490s |      12 |    45099 |    37119 |    36050      0 |      140 |        0
493.61/493.75	c  493s |      12 |    45415 |    37419 |    36050      0 |      140 |        0
496.51/496.60	c  495s |      12 |    45627 |    37619 |    36050      0 |      140 |        0
499.11/499.23	c  498s |      12 |    45842 |    37819 |    36050      0 |      140 |        0
501.62/501.80	c  501s |      12 |    46047 |    38019 |    36050      0 |      140 |        0
504.61/504.78	c  504s |      12 |    46271 |    38219 |    36050      0 |      140 |        0
507.61/507.70	c  507s |      12 |    46480 |    38419 |    36050      0 |      140 |        0
510.71/510.83	c  510s |      12 |    46697 |    38619 |    39655      0 |      140 |        0
514.11/514.28	c  513s |      12 |    46922 |    38819 |    39655      0 |      140 |        0
514.41/514.53	c  513s |      13 |    46935 |    38832 |    39655      0 |      140 |        0
517.11/517.29	c  516s |      13 |    47104 |    38932 |    39655      0 |      140 |        0
520.11/520.26	c  519s |      13 |    47343 |    39132 |    39655      0 |      140 |        0
523.01/523.13	c  522s |      13 |    47559 |    39332 |    39655      0 |      140 |        0
526.31/526.45	c  525s |      13 |    47779 |    39532 |    39655      0 |      140 |        0
529.61/529.76	c  529s |      13 |    48004 |    39732 |    39655      0 |      140 |        0
532.00/532.18	c  531s |      13 |    48241 |    39932 |    39655      0 |      140 |        0
535.10/535.24	c  534s |      13 |    48479 |    40132 |    39655      0 |      140 |        0
538.20/538.38	c  537s |      13 |    48700 |    40332 |    39655      0 |      140 |        0
540.80/540.91	c  540s |      13 |    48923 |    40532 |    39655      0 |      140 |        0
544.00/544.13	c  543s |      13 |    49148 |    40732 |    39655      0 |      140 |        0
546.90/547.02	c  546s |      13 |    49358 |    40932 |    39655      0 |      140 |        0
549.70/549.87	c  549s |      13 |    49582 |    41132 |    39655      0 |      140 |        0
552.90/553.08	c  552s |      13 |    49822 |    41332 |    39655      0 |      140 |        0
556.30/556.40	c  555s |      13 |    50066 |    41532 |    39655      0 |      140 |        0
559.20/559.37	c  558s |      13 |    50281 |    41732 |    39655      0 |      140 |        0
562.30/562.41	c  561s |      13 |    50510 |    41932 |    39655      0 |      140 |        0
565.80/565.90	c  565s |      13 |    50712 |    42132 |    39655      0 |      140 |        0
568.70/568.83	c  568s |      13 |    50928 |    42332 |    39655      0 |      140 |        0
571.40/571.51	c  570s |      13 |    51142 |    42532 |    39655      0 |      140 |        0
573.60/573.76	c  573s |      13 |    51493 |    42832 |    39655      0 |      140 |        0
576.50/576.65	c  575s |      13 |    51720 |    43032 |    39655      0 |      140 |        0
579.40/579.56	c  578s |      13 |    51950 |    43232 |    39655      0 |      140 |        0
582.10/582.28	c  581s |      13 |    52219 |    43432 |    39655      0 |      140 |        0
585.80/585.93	c  585s |      13 |    52569 |    43732 |    39655      0 |      140 |        0
589.29/589.45	c  588s |      13 |    52790 |    43932 |    39655      0 |      140 |        0
592.20/592.32	c  591s |      13 |    53007 |    44132 |    39655      0 |      140 |        0
595.30/595.45	c  594s |      13 |    53215 |    44332 |    39655      0 |      140 |        0
598.10/598.23	c  597s |      13 |    53427 |    44532 |    39655      0 |      140 |        0
600.80/600.93	c  600s |      13 |    53635 |    44732 |    39655      0 |      140 |        0
604.80/604.97	c  604s |      13 |    53742 |    44832 |    39655      1 |      140 |        0
608.09/608.23	c  607s |      13 |    53956 |    45032 |    39655      1 |      140 |        0
610.50/610.61	c  609s |      13 |    54280 |    45332 |    39655      1 |      140 |        0
612.49/612.64	c  611s |      13 |    54497 |    45532 |    39655      1 |      140 |        0
614.70/614.84	c  614s |      13 |    54755 |    45732 |    39655      1 |      140 |        0
617.11/617.28	c  616s |      13 |    54989 |    45932 |    39655      1 |      140 |        0
619.60/619.71	c  619s |      13 |    55196 |    46132 |    39655      1 |      140 |        0
622.00/622.19	c  621s |      13 |    55416 |    46332 |    39655      1 |      140 |        0
624.60/624.77	c  624s |      13 |    55625 |    46532 |    39655      1 |      140 |        0
627.30/627.47	c  626s |      13 |    55871 |    46732 |    39655      1 |      140 |        0
629.40/629.57	c  628s |      13 |    56108 |    46932 |    39655      1 |      140 |        0
631.50/631.63	c  630s |      13 |    56338 |    47132 |    39655      1 |      140 |        0
633.89/634.06	c  633s |      13 |    56571 |    47332 |    39655      1 |      140 |        0
635.99/636.14	c  635s |      13 |    56804 |    47532 |    39655      1 |      140 |        0
638.29/638.48	c  637s |      13 |    57032 |    47732 |    39655      1 |      140 |        0
640.59/640.72	c  640s |      13 |    57281 |    47932 |    39655      1 |      140 |        0
643.40/643.51	c  642s |      13 |    57501 |    48132 |    39655      1 |      140 |        0
646.59/646.78	c  646s |      13 |    57881 |    48432 |    39655      1 |      140 |        0
648.79/648.95	c  648s |      13 |    58117 |    48632 |    39655      1 |      140 |        0
651.49/651.60	c  650s |      13 |    58356 |    48832 |    39655      1 |      140 |        0
654.50/654.63	c  653s |      13 |    58587 |    49032 |    39655      1 |      140 |        0
657.29/657.47	c  656s |      13 |    58995 |    49332 |    39655      1 |      140 |        0
660.29/660.48	c  659s |      13 |    59364 |    49632 |    39655      1 |      140 |        0
663.09/663.25	c  662s |      13 |    59591 |    49832 |    39655      1 |      140 |        0
665.99/666.19	c  665s |      13 |    59827 |    50032 |    39655      1 |      140 |        0
668.49/668.60	c  667s |      13 |    60202 |    50332 |    39655      1 |      140 |        0
670.90/671.01	c  670s |      13 |    60651 |    50732 |    39655      1 |      140 |        0
673.39/673.50	c  672s |      13 |    60873 |    50932 |    39655      1 |      140 |        0
676.39/676.56	c  675s |      13 |    61210 |    51232 |    39655      1 |      140 |        0
678.99/679.18	c  678s |      13 |    61437 |    51432 |    39655      1 |      140 |        0
681.99/682.15	c  681s |      13 |    61650 |    51632 |    39655      1 |      140 |        0
684.38/684.57	c  683s |      13 |    61874 |    51832 |    39655      1 |      140 |        0
686.78/686.99	c  686s |      13 |    62081 |    52032 |    39655      1 |      140 |        0
689.69/689.89	c  689s |      13 |    62345 |    52232 |    39655      1 |      140 |        0
691.89/692.08	c  691s |      13 |    62558 |    52432 |    39655      1 |      140 |        0
694.78/694.91	c  694s |      13 |    62809 |    52632 |    39655      1 |      140 |        0
697.39/697.57	c  696s |      13 |    63188 |    52932 |    39655      1 |      140 |        0
699.78/699.98	c  699s |      13 |    63399 |    53132 |    39655      1 |      140 |        0
702.18/702.32	c  701s |      13 |    63644 |    53332 |    39655      1 |      140 |        0
704.78/704.99	c  704s |      13 |    63868 |    53532 |    39655      1 |      140 |        0
706.98/707.19	c  706s |      13 |    64094 |    53732 |    39655      1 |      140 |        0
709.08/709.27	c  708s |      13 |    64291 |    53932 |    39655      1 |      140 |        0
711.88/712.02	c  711s |      13 |    64657 |    54232 |    39655      1 |      140 |        0
715.08/715.23	c  714s |      13 |    64888 |    54432 |    39655      1 |      140 |        0
717.88/718.05	c  717s |      13 |    65221 |    54732 |    39655      1 |      140 |        0
720.18/720.34	c  719s |      13 |    65504 |    54932 |    39655      1 |      140 |        0
722.68/722.86	c  722s |      13 |    65758 |    55132 |    39655      1 |      140 |        0
725.18/725.32	c  724s |      13 |    65990 |    55332 |    39655      1 |      140 |        0
727.88/728.00	c  727s |      13 |    66200 |    55532 |    39655      1 |      140 |        0
729.98/730.16	c  729s |      13 |    66528 |    55832 |    39655      1 |      140 |        0
732.38/732.55	c  731s |      13 |    66751 |    56032 |    39655      1 |      140 |        0
734.58/734.77	c  734s |      13 |    66988 |    56232 |    39655      1 |      140 |        0
737.48/737.68	c  736s |      13 |    67221 |    56432 |    39655      1 |      140 |        0
740.08/740.26	c  739s |      13 |    67448 |    56632 |    39655      1 |      140 |        0
742.39/742.55	c  741s |      13 |    67698 |    56832 |    39655      1 |      140 |        0
745.58/745.71	c  745s |      13 |    68031 |    57132 |    39655      1 |      140 |        0
748.68/748.82	c  748s |      13 |    68272 |    57332 |    39655      1 |      140 |        0
751.67/751.85	c  751s |      13 |    68501 |    57532 |    39655      1 |      140 |        0
753.77/753.90	c  753s |      13 |    68777 |    57732 |    39655      1 |      140 |        0
756.37/756.55	c  755s |      13 |    69188 |    58032 |    43621      1 |      140 |        0
759.48/759.63	c  758s |      13 |    69518 |    58332 |    43621      1 |      140 |        0
759.68/759.80	c  759s |      14 |    69543 |    58352 |    43621      1 |      140 |        0
761.67/761.86	c  761s |      14 |    69795 |    58452 |    43621      1 |      140 |        0
764.17/764.39	c  763s |      14 |    70113 |    58652 |    43621      1 |      140 |        0
766.37/766.53	c  765s |      14 |    70463 |    58952 |    43621      1 |      140 |        0
769.27/769.42	c  768s |      14 |    70714 |    59152 |    43621      1 |      140 |        0
772.08/772.22	c  771s |      14 |    70959 |    59352 |    43621      1 |      140 |        0
774.68/774.89	c  774s |      14 |    71275 |    59652 |    43621      1 |      140 |        0
778.57/778.76	c  778s |      14 |    71503 |    59852 |    43621      1 |      140 |        0
781.77/781.90	c  781s |      14 |    71721 |    60052 |    43621      1 |      140 |        0
784.57/784.78	c  784s |      14 |    71930 |    60252 |    43621      1 |      140 |        0
786.86/787.06	c  786s |      14 |    72349 |    60552 |    43621      1 |      140 |        0
789.97/790.11	c  789s |      14 |    72613 |    60752 |    43621      1 |      140 |        0
793.08/793.21	c  792s |      14 |    72842 |    60952 |    43621      1 |      140 |        0
796.07/796.23	c  795s |      14 |    73069 |    61152 |    43621      1 |      140 |        0
799.17/799.35	c  798s |      14 |    73372 |    61352 |    43621      1 |      140 |        0
802.07/802.28	c  801s |      14 |    73590 |    61552 |    43621      1 |      140 |        0
804.76/804.97	c  804s |      14 |    73976 |    61852 |    43621      1 |      140 |        0
807.56/807.74	c  807s |      14 |    74252 |    62052 |    43621      1 |      140 |        0
810.57/810.75	c  810s |      14 |    74467 |    62252 |    43621      1 |      140 |        0
813.26/813.49	c  812s |      14 |    74895 |    62652 |    43621      1 |      140 |        0
816.18/816.31	c  815s |      14 |    75175 |    62852 |    43621      1 |      140 |        0
818.38/818.53	c  817s |      14 |    75298 |    62952 |    43621      1 |      140 |        0
820.97/821.12	c  820s |      14 |    75495 |    63152 |    43621      1 |      140 |        0
824.16/824.34	c  823s |      14 |    75758 |    63352 |    43621      1 |      140 |        0
826.76/826.96	c  826s |      14 |    76014 |    63552 |    43621      1 |      140 |        0
829.46/829.66	c  828s |      14 |    76340 |    63852 |    43621      1 |      140 |        0
832.76/832.96	c  832s |      14 |    76544 |    64052 |    43621      1 |      140 |        0
836.25/836.45	c  835s |      14 |    76776 |    64252 |    43621      1 |      140 |        0
839.76/839.96	c  839s |      14 |    77003 |    64452 |    43621      1 |      140 |        0
843.26/843.44	c  842s |      14 |    77233 |    64652 |    43621      1 |      140 |        0
846.76/846.93	c  846s |      14 |    77441 |    64852 |    43621      1 |      140 |        0
849.16/849.39	c  848s |      14 |    77765 |    65152 |    43621      1 |      140 |        0
851.46/851.66	c  850s |      14 |    78007 |    65352 |    43621      1 |      140 |        0
853.76/853.96	c  853s |      14 |    78233 |    65552 |    43621      1 |      140 |        0
855.85/856.04	c  855s |      14 |    78633 |    65852 |    43621      1 |      140 |        0
859.06/859.25	c  858s |      14 |    78857 |    66052 |    43621      1 |      140 |        0
862.05/862.26	c  861s |      14 |    79059 |    66252 |    43621      1 |      140 |        0
865.04/865.28	c  864s |      14 |    79308 |    66452 |    43621      1 |      140 |        0
868.65/868.88	c  868s |      14 |    79564 |    66652 |    43621      1 |      140 |        0
872.75/872.99	c  872s |      14 |    79699 |    66752 |    43621      2 |      140 |        0
875.15/875.37	c  874s |      14 |    80036 |    66952 |    43621      2 |      140 |        0
877.76/877.95	c  877s |      14 |    80322 |    67252 |    43621      2 |      140 |        0
880.45/880.61	c  879s |      14 |    80620 |    67552 |    43621      2 |      140 |        0
882.44/882.65	c  881s |      14 |    80921 |    67852 |    43621      2 |      140 |        0
885.04/885.22	c  884s |      14 |    81667 |    68552 |    43621      2 |      140 |        0
889.25/889.41	c  888s |      14 |    81857 |    68752 |    43621      2 |      140 |        0
891.74/891.92	c  891s |      14 |    81952 |    68852 |    43621      2 |      140 |        0
895.14/895.34	c  894s |      14 |    82047 |    68952 |    43621      2 |      140 |        0
902.04/902.20	c  901s |      14 |    82143 |    69052 |    43621      2 |      140 |        0
904.94/905.15	c  904s |      14 |    82238 |    69152 |    43621      2 |      140 |        0
907.84/908.04	c  907s |      14 |    82506 |    69352 |    43621      2 |      140 |        0
910.04/910.27	c  909s |      14 |    82601 |    69452 |    43621      2 |      140 |        0
912.43/912.64	c  911s |      14 |    82696 |    69552 |    43621      2 |      140 |        0
917.64/917.84	c  917s |      14 |    82791 |    69652 |    43621      2 |      140 |        0
922.44/922.60	c  921s |      14 |    82981 |    69852 |    43621      2 |      140 |        0
926.24/926.47	c  925s |      14 |    83076 |    69952 |    43621      2 |      140 |        0
928.34/928.57	c  927s |      14 |    83415 |    70252 |    43621      2 |      140 |        0
930.54/930.75	c  930s |      14 |    83982 |    70752 |    43621      2 |      140 |        0
932.74/932.94	c  932s |      14 |    84627 |    71352 |    43621      2 |      140 |        0
934.73/935.00	c  934s |      14 |    85157 |    71852 |    43621      2 |      140 |        0
936.83/937.00	c  936s |      14 |    85673 |    72352 |    43621      2 |      140 |        0
939.12/939.32	c  938s |      14 |    86137 |    72752 |    43621      2 |      140 |        0
941.33/941.55	c  940s |      14 |    86337 |    72952 |    43621      2 |      140 |        0
943.83/944.01	c  943s |      14 |    86767 |    73352 |    43621      2 |      140 |        0
945.93/946.16	c  945s |      14 |    87286 |    73852 |    43621      2 |      140 |        0
948.83/949.04	c  948s |      14 |    87783 |    74252 |    43621      2 |      140 |        0
951.33/951.55	c  950s |      14 |    88088 |    74552 |    43621      2 |      140 |        0
953.73/953.97	c  953s |      14 |    88524 |    74952 |    43621      2 |      140 |        0
956.01/956.23	c  955s |      14 |    89122 |    75452 |    43621      2 |      140 |        0
958.42/958.62	c  957s |      14 |    89699 |    75952 |    43621      2 |      140 |        0
960.62/960.84	c  960s |      14 |    90160 |    76352 |    43621      2 |      140 |        0
962.72/962.94	c  962s |      14 |    90607 |    76752 |    43621      2 |      140 |        0
965.02/965.29	c  964s |      14 |    91082 |    77152 |    43621      2 |      140 |        0
967.71/967.93	c  967s |      14 |    91681 |    77652 |    43621      2 |      140 |        0
969.92/970.20	c  969s |      14 |    92175 |    78052 |    43621      2 |      140 |        0
972.41/972.67	c  971s |      14 |    92604 |    78452 |    43621      2 |      140 |        0
974.72/974.95	c  974s |      14 |    93051 |    78852 |    43621      2 |      140 |        0
976.91/977.16	c  976s |      14 |    93369 |    79152 |    43621      2 |      140 |        0
978.92/979.17	c  978s |      14 |    93770 |    79552 |    43621      2 |      140 |        0
981.12/981.36	c  980s |      14 |    94184 |    79952 |    43621      2 |      140 |        0
983.11/983.37	c  982s |      14 |    94586 |    80352 |    43621      2 |      140 |        0
985.31/985.59	c  984s |      14 |    94981 |    80752 |    43621      2 |      140 |        0
987.61/987.89	c  987s |      14 |    95489 |    81252 |    43621      2 |      140 |        0
990.11/990.32	c  989s |      14 |    96003 |    81752 |    43621      2 |      140 |        0
992.51/992.76	c  992s |      14 |    96503 |    82252 |    43621      2 |      140 |        0
994.90/995.14	c  994s |      14 |    97015 |    82752 |    43621      2 |      140 |        0
997.11/997.37	c  996s |      14 |    97524 |    83252 |    43621      2 |      140 |        0
999.21/999.46	c  998s |      14 |    98018 |    83752 |    43621      2 |      140 |        0
1001.80/1002.07	c 1001s |      14 |    98512 |    84252 |    43621      2 |      140 |        0
1003.91/1004.14	c 1003s |      14 |    98926 |    84652 |    43621      2 |      140 |        0
1006.31/1006.58	c 1005s |      14 |    99434 |    85152 |    43621      2 |      140 |        0
1008.70/1008.90	c 1008s |      14 |    99929 |    85652 |    43621      2 |      140 |        0
1011.10/1011.33	c 1010s |      14 |   100427 |    86152 |    43621      2 |      140 |        0
1013.41/1013.64	c 1012s |      14 |   100934 |    86652 |    43621      2 |      140 |        0
1015.60/1015.85	c 1015s |      14 |   101436 |    87152 |    47984      2 |      140 |        0
1017.41/1017.67	c 1016s |      15 |   101947 |    87632 |    47984      2 |      140 |        0
1021.40/1021.69	c 1021s |      15 |   102183 |    87732 |    47984      2 |      140 |        0
1023.50/1023.75	c 1023s |      15 |   102295 |    87832 |    47984      2 |      140 |        0
1026.60/1026.89	c 1026s |      15 |   102570 |    88032 |    47984      2 |      140 |        0
1030.00/1030.29	c 1029s |      15 |   102782 |    88232 |    47984      2 |      140 |        0
1032.80/1033.09	c 1032s |      15 |   103017 |    88432 |    47984      2 |      140 |        0
1036.10/1036.38	c 1035s |      15 |   103303 |    88632 |    47984      2 |      140 |        0
1038.20/1038.47	c 1037s |      15 |   103414 |    88732 |    47984      2 |      140 |        0
1040.50/1040.76	c 1040s |      15 |   103558 |    88832 |    47984      2 |      140 |        0
1043.19/1043.48	c 1042s |      15 |   103655 |    88932 |    47984      2 |      140 |        0
1046.29/1046.55	c 1045s |      15 |   103763 |    89032 |    47984      2 |      140 |        0
1048.59/1048.88	c 1048s |      15 |   103886 |    89132 |    47984      2 |      140 |        0
1050.79/1051.05	c 1050s |      15 |   104003 |    89232 |    47984      2 |      140 |        0
1054.69/1054.91	c 1054s |      15 |   104261 |    89432 |    47984      2 |      140 |        0
1057.48/1057.76	c 1057s |      15 |   104354 |    89532 |    47984      2 |      140 |        0
1060.39/1060.64	c 1059s |      15 |   104605 |    89732 |    47984      2 |      140 |        0
1062.89/1063.18	c 1062s |      15 |   104828 |    89932 |    47984      2 |      140 |        0
1065.88/1066.16	c 1065s |      15 |   105080 |    90132 |    47984      2 |      140 |        0
1068.68/1068.91	c 1068s |      15 |   105206 |    90232 |    47984      2 |      140 |        0
1071.88/1072.15	c 1071s |      15 |   105630 |    90432 |    47984      2 |      140 |        0
1075.37/1075.67	c 1074s |      15 |   105875 |    90632 |    47984      2 |      140 |        0
1078.67/1078.97	c 1078s |      15 |   106083 |    90832 |    47984      2 |      140 |        0
1081.98/1082.26	c 1081s |      15 |   106359 |    91032 |    47984      2 |      140 |        0
1084.98/1085.25	c 1084s |      15 |   106457 |    91132 |    47984      2 |      140 |        0
1087.68/1087.91	c 1087s |      15 |   106745 |    91332 |    47984      2 |      140 |        0
1090.67/1090.90	c 1090s |      15 |   106971 |    91532 |    47984      2 |      140 |        0
1093.67/1093.99	c 1093s |      15 |   107199 |    91732 |    47984      2 |      140 |        0
1097.17/1097.47	c 1096s |      15 |   107430 |    91932 |    47984      2 |      140 |        0
1100.27/1100.55	c 1099s |      15 |   107650 |    92132 |    47984      2 |      140 |        0
1103.57/1103.87	c 1103s |      15 |   107875 |    92332 |    47984      2 |      140 |        0
1106.97/1107.26	c 1106s |      15 |   108097 |    92532 |    47984      2 |      140 |        0
1110.36/1110.69	c 1110s |      15 |   108323 |    92732 |    47984      2 |      140 |        0
1113.56/1113.84	c 1113s |      15 |   108534 |    92932 |    47984      2 |      140 |        0
1116.96/1117.29	c 1116s |      15 |   108787 |    93132 |    47984      2 |      140 |        0
1120.56/1120.88	c 1120s |      15 |   109042 |    93332 |    47984      2 |      140 |        0
1124.07/1124.34	c 1123s |      15 |   109246 |    93532 |    47984      2 |      140 |        0
1127.85/1128.16	c 1127s |      15 |   109473 |    93732 |    47984      2 |      140 |        0
1130.05/1130.31	c 1129s |      15 |   109586 |    93832 |    47984      2 |      140 |        0
1133.35/1133.64	c 1132s |      15 |   109810 |    94032 |    47984      2 |      140 |        0
1138.15/1138.42	c 1137s |      15 |   110015 |    94232 |    47984      2 |      140 |        0
1141.56/1141.81	c 1141s |      15 |   110122 |    94332 |    47984      2 |      140 |        0
1144.45/1144.74	c 1144s |      15 |   110235 |    94432 |    47984      2 |      140 |        0
1146.44/1146.78	c 1146s |      15 |   110344 |    94532 |    47984      2 |      140 |        0
1148.55/1148.86	c 1148s |      15 |   110464 |    94632 |    47984      2 |      140 |        0
1151.95/1152.23	c 1151s |      15 |   110587 |    94732 |    47984      2 |      140 |        0
1155.14/1155.47	c 1154s |      15 |   110706 |    94832 |    47984      2 |      140 |        0
1158.64/1158.96	c 1158s |      15 |   110798 |    94932 |    47984      2 |      140 |        0
1161.74/1162.06	c 1161s |      15 |   110918 |    95032 |    47984      2 |      140 |        0
1165.14/1165.47	c 1164s |      15 |   111024 |    95132 |    47984      2 |      140 |        0
1168.05/1168.39	c 1167s |      15 |   111126 |    95232 |    47984      2 |      140 |        0
1171.14/1171.48	c 1170s |      15 |   111237 |    95332 |    47984      2 |      140 |        0
1173.94/1174.25	c 1173s |      15 |   111346 |    95432 |    47984      2 |      140 |        0
1176.54/1176.88	c 1176s |      15 |   111465 |    95532 |    47984      2 |      140 |        0
1179.14/1179.48	c 1178s |      15 |   111584 |    95632 |    47984      2 |      140 |        0
1183.64/1183.91	c 1183s |      15 |   111802 |    95832 |    47984      2 |      140 |        0
1187.33/1187.65	c 1186s |      15 |   111899 |    95932 |    47984      2 |      140 |        0
1190.23/1190.59	c 1189s |      15 |   112021 |    96032 |    47984      2 |      140 |        0
1193.34/1193.63	c 1192s |      15 |   112146 |    96132 |    47984      2 |      140 |        0
1196.13/1196.47	c 1195s |      15 |   112260 |    96232 |    47984      2 |      140 |        0
1198.13/1198.48	c 1197s |      15 |   112372 |    96332 |    47984      2 |      140 |        0
1202.73/1203.03	c 1202s |      15 |   112653 |    96532 |    47984      2 |      140 |        0
1206.93/1207.27	c 1206s |      15 |   112788 |    96632 |    47984      2 |      140 |        0
1209.62/1209.93	c 1209s |      15 |   112899 |    96732 |    47984      2 |      140 |        0
1212.23/1212.53	c 1211s |      15 |   113028 |    96832 |    47984      2 |      140 |        0
1214.93/1215.22	c 1214s |      15 |   113135 |    96932 |    47984      2 |      140 |        0
1217.03/1217.33	c 1216s |      15 |   113255 |    97032 |    47984      2 |      140 |        0
1219.52/1219.86	c 1219s |      15 |   113374 |    97132 |    47984      2 |      140 |        0
1222.82/1223.11	c 1222s |      15 |   113475 |    97232 |    47984      2 |      140 |        0
1225.72/1226.04	c 1225s |      15 |   113583 |    97332 |    47984      2 |      140 |        0
1228.92/1229.20	c 1228s |      15 |   113704 |    97432 |    47984      2 |      140 |        0
1231.42/1231.77	c 1231s |      15 |   113825 |    97532 |    47984      2 |      140 |        0
1233.82/1234.18	c 1233s |      15 |   113939 |    97632 |    47984      2 |      140 |        0
1236.02/1236.37	c 1235s |      15 |   114033 |    97732 |    47984      2 |      140 |        0
1238.52/1238.83	c 1238s |      15 |   114171 |    97832 |    47984      2 |      140 |        0
1244.22/1244.51	c 1243s |      15 |   114284 |    97932 |    47984      3 |      140 |        0
1248.22/1248.55	c 1247s |      15 |   114413 |    98032 |    47984      3 |      140 |        0
1251.01/1251.35	c 1250s |      15 |   114543 |    98132 |    47984      3 |      140 |        0
1253.91/1254.27	c 1253s |      15 |   114655 |    98232 |    47984      3 |      140 |        0
1256.40/1256.79	c 1256s |      15 |   114760 |    98332 |    47984      3 |      140 |        0
1258.70/1259.03	c 1258s |      15 |   114868 |    98432 |    47984      3 |      140 |        0
1261.11/1261.48	c 1260s |      15 |   115016 |    98532 |    47984      3 |      140 |        0
1265.01/1265.31	c 1264s |      15 |   115124 |    98632 |    47984      3 |      140 |        0
1269.21/1269.52	c 1268s |      15 |   115234 |    98732 |    47984      3 |      140 |        0
1271.81/1272.15	c 1271s |      15 |   115359 |    98832 |    47984      3 |      140 |        0
1276.40/1276.72	c 1276s |      15 |   115478 |    98932 |    47984      3 |      140 |        0
1278.60/1278.99	c 1278s |      15 |   115581 |    99032 |    47984      3 |      140 |        0
1282.41/1282.74	c 1282s |      15 |   115726 |    99132 |    47984      3 |      140 |        0
1286.59/1286.97	c 1286s |      15 |   115853 |    99232 |    47984      3 |      140 |        0
1293.40/1293.76	c 1293s |      15 |   115954 |    99332 |    47984      3 |      140 |        0
1298.09/1298.44	c 1297s |      15 |   116079 |    99432 |    47984      3 |      140 |        0
1301.49/1301.87	c 1301s |      15 |   116183 |    99532 |    47984      3 |      140 |        0
1303.79/1304.13	c 1303s |      15 |   116311 |    99632 |    47984      3 |      140 |        0
1306.28/1306.63	c 1305s |      15 |   116431 |    99732 |    47984      3 |      140 |        0
1309.69/1310.05	c 1309s |      15 |   116544 |    99832 |    47984      3 |      140 |        0
1314.08/1314.42	c 1313s |      15 |   116660 |    99932 |    47984      3 |      140 |        0
1318.08/1318.46	c 1317s |      15 |   116759 |   100032 |    47984      3 |      140 |        0
1323.88/1324.25	c 1323s |      15 |   116873 |   100132 |    47984      3 |      140 |        0
1328.08/1328.42	c 1327s |      15 |   116985 |   100232 |    47984      3 |      140 |        0
1331.08/1331.44	c 1330s |      15 |   117100 |   100332 |    47984      3 |      140 |        0
1334.08/1334.46	c 1333s |      15 |   117218 |   100432 |    47984      3 |      140 |        0
1338.68/1339.05	c 1338s |      15 |   117310 |   100532 |    47984      3 |      140 |        0
1343.28/1343.62	c 1342s |      15 |   117441 |   100632 |    47984      3 |      140 |        0
1346.77/1347.17	c 1346s |      15 |   117554 |   100732 |    47984      3 |      140 |        0
1349.98/1350.31	c 1349s |      15 |   117665 |   100832 |    47984      3 |      140 |        0
1353.37/1353.76	c 1353s |      15 |   117771 |   100932 |    47984      3 |      140 |        0
1357.37/1357.75	c 1357s |      15 |   117901 |   101032 |    47984      3 |      140 |        0
1361.58/1361.98	c 1361s |      15 |   118007 |   101132 |    47984      3 |      140 |        0
1366.07/1366.49	c 1365s |      15 |   118107 |   101232 |    47984      3 |      140 |        0
1370.47/1370.85	c 1370s |      15 |   118220 |   101332 |    47984      3 |      140 |        0
1372.77/1373.15	c 1372s |      15 |   118365 |   101432 |    47984      3 |      140 |        0
1375.16/1375.57	c 1374s |      15 |   118504 |   101532 |    47984      3 |      140 |        0
1379.96/1380.38	c 1379s |      15 |   118614 |   101632 |    47984      3 |      140 |        0
1385.16/1385.50	c 1384s |      15 |   118730 |   101732 |    47984      3 |      140 |        0
1389.67/1390.02	c 1389s |      15 |   118842 |   101832 |    47984      3 |      140 |        0
1393.06/1393.47	c 1392s |      15 |   118945 |   101932 |    47984      3 |      140 |        0
1395.17/1395.56	c 1394s |      15 |   119080 |   102032 |    47984      3 |      140 |        0
1399.27/1399.69	c 1399s |      15 |   119203 |   102132 |    47984      3 |      140 |        0
1405.36/1405.71	c 1405s |      15 |   119288 |   102232 |    47984      3 |      140 |        0
1413.46/1413.88	c 1413s |      15 |   119402 |   102332 |    47984      3 |      140 |        0
1420.25/1420.64	c 1419s |      15 |   119539 |   102432 |    47984      3 |      140 |        0
1425.85/1426.20	c 1425s |      15 |   119661 |   102532 |    47984      3 |      140 |        0
1429.85/1430.23	c 1429s |      15 |   119783 |   102632 |    47984      3 |      140 |        0
1432.65/1433.08	c 1432s |      15 |   119910 |   102732 |    47984      3 |      140 |        0
1438.25/1438.60	c 1437s |      15 |   120029 |   102832 |    47984      3 |      140 |        0
1443.05/1443.47	c 1442s |      15 |   120140 |   102932 |    47984      3 |      140 |        0
1448.24/1448.62	c 1447s |      15 |   120245 |   103032 |    47984      3 |      140 |        0
1453.44/1453.89	c 1453s |      15 |   120358 |   103132 |    47984      3 |      140 |        0
1457.04/1457.48	c 1456s |      15 |   120478 |   103232 |    47984      3 |      140 |        0
1460.45/1460.86	c 1460s |      15 |   120623 |   103332 |    47984      3 |      140 |        0
1464.35/1464.78	c 1464s |      15 |   120731 |   103432 |    47984      3 |      140 |        0
1468.14/1468.57	c 1467s |      15 |   120850 |   103532 |    47984      3 |      140 |        0
1472.14/1472.57	c 1471s |      15 |   120988 |   103632 |    47984      3 |      140 |        0
1476.74/1477.18	c 1476s |      15 |   121129 |   103732 |    47984      3 |      140 |        0
1481.35/1481.76	c 1481s |      15 |   121221 |   103832 |    47984      3 |      140 |        0
1484.84/1485.22	c 1484s |      15 |   121348 |   103932 |    47984      3 |      140 |        0
1489.33/1489.76	c 1489s |      15 |   121450 |   104032 |    47984      3 |      140 |        0
1493.73/1494.12	c 1493s |      15 |   121548 |   104132 |    47984      3 |      140 |        0
1497.94/1498.39	c 1497s |      15 |   121658 |   104232 |    47984      3 |      140 |        0
1501.03/1501.44	c 1500s |      15 |   121772 |   104332 |    47984      3 |      140 |        0
1504.54/1504.99	c 1504s |      15 |   121883 |   104432 |    47984      3 |      140 |        0
1509.33/1509.74	c 1509s |      15 |   121980 |   104532 |    47984      3 |      140 |        0
1511.73/1512.19	c 1511s |      15 |   122127 |   104632 |    47984      3 |      140 |        0
1516.82/1517.22	c 1516s |      15 |   122245 |   104732 |    47984      3 |      140 |        0
1521.93/1522.32	c 1521s |      15 |   122395 |   104832 |    47984      3 |      140 |        0
1528.63/1529.09	c 1528s |      15 |   122496 |   104932 |    47984      3 |      140 |        0
1534.23/1534.62	c 1533s |      15 |   122601 |   105032 |    47984      3 |      140 |        0
1539.63/1540.01	c 1539s |      15 |   122711 |   105132 |    47984      3 |      140 |        0
1542.93/1543.39	c 1542s |      15 |   122854 |   105232 |    47984      3 |      140 |        0
1548.12/1548.50	c 1547s |      15 |   122998 |   105332 |    47984      3 |      140 |        0
1552.02/1552.47	c 1551s |      15 |   123106 |   105432 |    47984      3 |      140 |        0
1556.52/1556.90	c 1556s |      15 |   123217 |   105532 |    47984      3 |      140 |        0
1560.63/1561.01	c 1560s |      15 |   123312 |   105632 |    47984      3 |      140 |        0
1564.32/1564.71	c 1564s |      15 |   123423 |   105732 |    47984      3 |      140 |        0
1568.12/1568.58	c 1567s |      15 |   123528 |   105832 |    47984      3 |      140 |        0
1571.53/1571.96	c 1571s |      15 |   123634 |   105932 |    47984      3 |      140 |        0
1575.92/1576.39	c 1575s |      15 |   123752 |   106032 |    47984      3 |      140 |        0
1581.91/1582.32	c 1581s |      15 |   123855 |   106132 |    47984      3 |      140 |        0
1586.02/1586.44	c 1585s |      15 |   123981 |   106232 |    47984      3 |      140 |        0
1588.52/1588.91	c 1588s |      15 |   124105 |   106332 |    47984      3 |      140 |        0
1591.11/1591.56	c 1590s |      15 |   124227 |   106432 |    47984      3 |      140 |        0
1594.11/1594.50	c 1593s |      15 |   124336 |   106532 |    47984      3 |      140 |        0
1596.82/1597.27	c 1596s |      15 |   124447 |   106632 |    47984      3 |      140 |        0
1599.31/1599.73	c 1599s |      15 |   124601 |   106732 |    47984      3 |      140 |        0
1601.92/1602.36	c 1601s |      15 |   124723 |   106832 |    47984      3 |      140 |        0
1604.81/1605.27	c 1604s |      15 |   124897 |   106932 |    47984      3 |      140 |        0
1607.52/1607.99	c 1607s |      15 |   125009 |   107032 |    47984      3 |      140 |        0
1610.12/1610.54	c 1609s |      15 |   125166 |   107132 |    47984      3 |      140 |        0
1613.01/1613.42	c 1612s |      15 |   125276 |   107232 |    47984      3 |      140 |        0
1617.72/1618.17	c 1617s |      15 |   125417 |   107332 |    47984      3 |      140 |        0
1622.51/1622.99	c 1622s |      15 |   125519 |   107432 |    47984      3 |      140 |        0
1625.11/1625.54	c 1624s |      15 |   125658 |   107532 |    47984      3 |      140 |        0
1629.31/1629.75	c 1629s |      15 |   125777 |   107632 |    47984      3 |      140 |        0
1633.11/1633.57	c 1632s |      15 |   125993 |   107832 |    47984      3 |      140 |        0
1635.41/1635.82	c 1635s |      15 |   126099 |   107932 |    47984      3 |      140 |        0
1638.31/1638.74	c 1638s |      15 |   126230 |   108032 |    47984      3 |      140 |        0
1641.80/1642.27	c 1641s |      15 |   126345 |   108132 |    47984      3 |      140 |        0
1646.51/1646.96	c 1646s |      15 |   126462 |   108232 |    47984      3 |      140 |        0
1653.90/1654.37	c 1653s |      15 |   126568 |   108332 |    47984      3 |      140 |        0
1657.90/1658.38	c 1657s |      15 |   126690 |   108432 |    47984      3 |      140 |        0
1661.81/1662.22	c 1661s |      15 |   126813 |   108532 |    47984      3 |      140 |        0
1665.51/1665.96	c 1665s |      15 |   126913 |   108632 |    47984      3 |      140 |        0
1668.70/1669.18	c 1668s |      15 |   127031 |   108732 |    47984      3 |      140 |        0
1671.61/1672.02	c 1671s |      15 |   127140 |   108832 |    47984      3 |      140 |        0
1674.41/1674.82	c 1674s |      15 |   127273 |   108932 |    47984      3 |      140 |        0
1680.70/1681.16	c 1680s |      15 |   127478 |   109132 |    47984      3 |      140 |        0
1684.91/1685.34	c 1684s |      15 |   127585 |   109232 |    47984      3 |      140 |        0
1689.10/1689.55	c 1688s |      15 |   127699 |   109332 |    47984      3 |      140 |        0
1694.60/1695.10	c 1694s |      15 |   127813 |   109432 |    47984      3 |      140 |        0
1698.90/1699.39	c 1698s |      15 |   127918 |   109532 |    47984      3 |      140 |        0
1703.40/1703.86	c 1703s |      15 |   128014 |   109632 |    47984      3 |      140 |        0
1706.91/1707.34	c 1706s |      15 |   128137 |   109732 |    47984      3 |      140 |        0
1710.40/1710.87	c 1710s |      15 |   128241 |   109832 |    47984      3 |      140 |        0
1715.40/1715.86	c 1715s |      15 |   128344 |   109932 |    47984      3 |      140 |        0
1718.49/1718.98	c 1718s |      15 |   128474 |   110032 |    47984      3 |      140 |        0
1723.80/1724.27	c 1723s |      15 |   128583 |   110132 |    47984      3 |      140 |        0
1729.29/1729.77	c 1729s |      15 |   128686 |   110232 |    47984      3 |      140 |        0
1734.49/1734.91	c 1734s |      15 |   128784 |   110332 |    47984      3 |      140 |        0
1739.39/1739.88	c 1739s |      15 |   128910 |   110432 |    47984      3 |      140 |        0
1744.39/1744.86	c 1744s |      15 |   129017 |   110532 |    47984      3 |      140 |        0
1748.89/1749.30	c 1748s |      15 |   129129 |   110632 |    47984      3 |      140 |        0
1753.19/1753.61	c 1752s |      15 |   129230 |   110732 |    47984      3 |      140 |        0
1757.79/1758.29	c 1757s |      15 |   129353 |   110832 |    47984      3 |      140 |        0
1764.19/1764.61	c 1763s |      15 |   129459 |   110932 |    47984      3 |      140 |        0
1768.18/1768.61	c 1767s |      15 |   129565 |   111032 |    47984      3 |      140 |        0
1771.80/1772.28	c 1771s |      15 |   129680 |   111132 |    47984      3 |      140 |        0
1774.28/1774.77	c 1774s |      15 |   129792 |   111232 |    47984      3 |      140 |        0
1776.99/1777.49	c 1776s |      15 |   129892 |   111332 |    47984      3 |      140 |        0
1779.58/1780.01	c 1779s |      15 |   129993 |   111432 |    47984      3 |      140 |        0
1782.18/1782.66	c 1781s |      15 |   130108 |   111532 |    47984      3 |      140 |        0
1784.68/1785.15	c 1784s |      15 |   130251 |   111632 |    47984      3 |      140 |        0
1787.79/1788.28	c 1787s |      15 |   130373 |   111732 |    47984      3 |      140 |        0
1797.18/1797.62	c 1796s |      15 |   130479 |   111832 |    47984      3 |      140 |        0
1799.38/1799.87	c 1799s |      15 |   130570 |   111932 |    47984      3 |      140 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4079309-1465332453/watcher-4079309-1465332453 -o /tmp/evaluation-result-4079309-1465332453/solver-4079309-1465332453 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079309-1465332453.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.97 2.03 2.00 3/179 14954
/proc/meminfo: memFree=31214296/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 2676 0 0 0 0 0 0 0 20 0 4 0 115180053 734457856 3036 33554432000 4194304 16246674 140736605292848 140736605292272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 180079 3045 441 2943 0 176973 0
[pid=14954/tid=14955] ppid=14951 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 752283648 3104 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 756477952 3120 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=742844 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 115180053 760672256 3136 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100188 s]
/proc/loadavg: 1.97 2.03 2.00 3/179 14954
/proc/meminfo: memFree=31214296/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 27609 0 0 0 6 3 0 0 20 0 4 0 115180053 1333334016 27907 33554432000 4194304 16246674 140736605292848 140736605292160 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 325521 27922 800 2943 0 322415 0
[pid=14954/tid=14955] ppid=14951 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1333334016 27933 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1333334016 27944 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1333334016 27955 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200514 s]
/proc/loadavg: 1.97 2.03 2.00 3/179 14954
/proc/meminfo: memFree=31214296/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 48021 0 0 0 13 5 0 0 20 0 4 0 115180053 1344868352 48830 33554432000 4194304 16246674 140736605292848 140736605274752 6861065 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 328337 48830 807 2943 0 325231 0
[pid=14954/tid=14955] ppid=14951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1344868352 48830 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1344868352 48830 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1344868352 48830 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300495 s]
/proc/loadavg: 1.97 2.03 2.00 3/179 14954
/proc/meminfo: memFree=31214296/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 48053 0 0 0 23 5 0 0 20 0 4 0 115180053 1344868352 48862 33554432000 4194304 16246674 140736605292848 140736605274752 6197645 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 328337 48862 838 2943 0 325231 0
[pid=14954/tid=14955] ppid=14951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1344868352 48862 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1344868352 48862 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1344868352 48862 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700426 s]
/proc/loadavg: 1.97 2.03 2.00 3/179 14954
/proc/meminfo: memFree=31214296/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=0.69 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89044 0 0 0 57 12 0 0 20 0 4 0 115180053 1358499840 89853 33554432000 4194304 16246674 140736605292848 140736605292160 5531267 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89853 875 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89853 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89853 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89853 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1326660

[startup+1.50041 s]
/proc/loadavg: 1.97 2.03 2.00 3/183 14958
/proc/meminfo: memFree=30856000/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89060 0 0 0 137 12 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 140736605274752 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89869 889 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10041 s]
/proc/loadavg: 1.97 2.03 2.00 3/183 14958
/proc/meminfo: memFree=30630700/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=3.09 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89060 0 0 0 297 12 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 140736605274752 5722490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89869 889 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1326660

[startup+6.30042 s]
/proc/loadavg: 1.97 2.03 2.00 4/183 14958
/proc/meminfo: memFree=30633132/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=6.28 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89060 0 0 0 616 12 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 140736605274752 12415766 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89869 889 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 1.97 2.02 2.00 3/183 14958
/proc/meminfo: memFree=30633304/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=12.68 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89060 0 0 0 1256 12 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 140736605274752 5829044 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89869 889 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89869 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1326660

[startup+25.5004 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 14958
/proc/meminfo: memFree=30626768/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=25.48 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89065 0 0 0 2532 16 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 140736605274752 5600384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89874 893 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14958
/proc/meminfo: memFree=30594624/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=51.08 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89065 0 0 0 5089 19 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 140736605274752 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89874 893 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1326660

[startup+102.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/183 14959
/proc/meminfo: memFree=30514164/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1326660 CPUtime=102.28 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 89065 0 0 0 10208 20 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 140736605274752 5598899 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 331665 89874 893 2943 0 328559 0
[pid=14954/tid=14955] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1358499840 89874 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1326660


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

/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1485377536 304019 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1450564

[startup+1362.3 s]
/proc/loadavg: 2.09 2.09 2.05 3/184 15017
/proc/meminfo: memFree=29207600/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1480260 CPUtime=1361.97 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 268628 0 0 0 135755 442 0 0 20 0 4 0 115180053 1515786240 311392 33554432000 4194304 16246674 140736605292848 140736605274752 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 370065 311392 898 2943 0 366959 0
[pid=14954/tid=14955] ppid=14951 vsize=1480260 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1515786240 311392 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1480260 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1515786240 311392 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1480260 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1515786240 311392 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1480260

[startup+1422.3 s]
/proc/loadavg: 2.13 2.10 2.06 3/183 15018
/proc/meminfo: memFree=29176076/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1510980 CPUtime=1421.96 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 276460 0 0 0 141656 540 0 0 20 0 4 0 115180053 1547243520 319208 33554432000 4194304 16246674 140736605292848 140736605274752 5824698 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 377745 319208 898 2943 0 374639 0
[pid=14954/tid=14955] ppid=14951 vsize=1510980 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1547243520 319208 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1510980 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1547243520 319208 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1510980 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1547243520 319208 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1510980

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.05 3/183 15020
/proc/meminfo: memFree=29146352/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1540676 CPUtime=1481.93 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 283846 0 0 0 147583 610 0 0 20 0 4 0 115180053 1577652224 326577 33554432000 4194304 16246674 140736605292848 140736605274752 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 385169 326577 898 2943 0 382063 0
[pid=14954/tid=14955] ppid=14951 vsize=1540676 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1577652224 326577 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1540676 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1577652224 326577 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1540676 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1577652224 326577 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1540676

[startup+1542.31 s]
/proc/loadavg: 2.06 2.08 2.05 3/183 15021
/proc/meminfo: memFree=29115328/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1571396 CPUtime=1541.93 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 291621 0 0 0 153467 726 0 0 20 0 4 0 115180053 1609109504 334347 33554432000 4194304 16246674 140736605292848 140736605292024 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 392849 334347 898 2943 0 389743 0
[pid=14954/tid=14955] ppid=14951 vsize=1571396 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1609109504 334347 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1571396 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1609109504 334347 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1571396 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1609109504 334347 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1571396

[startup+1602.3 s]
/proc/loadavg: 2.11 2.09 2.06 3/183 15022
/proc/meminfo: memFree=29053704/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1632836 CPUtime=1601.92 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 306964 0 0 0 159259 933 0 0 20 0 4 0 115180053 1672024064 349690 33554432000 4194304 16246674 140736605292848 140736605292024 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 408209 349690 898 2943 0 405103 0
[pid=14954/tid=14955] ppid=14951 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1672024064 349690 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1672024064 349690 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1632836 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1672024064 349690 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1632836

[startup+1662.3 s]
/proc/loadavg: 2.09 2.09 2.05 4/183 15023
/proc/meminfo: memFree=29025192/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1661508 CPUtime=1661.9 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 314079 0 0 0 165129 1061 0 0 20 0 4 0 115180053 1701384192 356805 33554432000 4194304 16246674 140736605292848 140736605274752 5545916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 415377 356805 898 2943 0 412271 0
[pid=14954/tid=14955] ppid=14951 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1701384192 356805 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1701384192 356805 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1661508 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1701384192 356805 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1661508

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.05 3/183 15024
/proc/meminfo: memFree=28990352/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1696324 CPUtime=1721.9 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 322830 0 0 0 171004 1186 0 0 20 0 4 0 115180053 1737035776 365556 33554432000 4194304 16246674 140736605292848 140736605292024 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 424081 365556 898 2943 0 420975 0
[pid=14954/tid=14955] ppid=14951 vsize=1696324 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1737035776 365556 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1696324 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1737035776 365556 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1696324 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1737035776 365556 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1696324

[startup+1782.3 s]
/proc/loadavg: 2.12 2.10 2.06 3/183 15075
/proc/meminfo: memFree=29408276/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1727044 CPUtime=1781.89 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 330396 0 0 0 176783 1406 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 140736605274752 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 431761 373122 898 2943 0 428655 0
[pid=14954/tid=14955] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1727044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.06 3/183 15075
/proc/meminfo: memFree=29408072/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1727044 CPUtime=1800.08 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 330396 0 0 0 178512 1496 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 140736605292024 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 431761 373122 898 2943 0 428655 0
[pid=14954/tid=14955] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1727044

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

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.06 3/183 15075
/proc/meminfo: memFree=29408072/32872528 swapFree=12744/274376
[pid=14954] ppid=14951 vsize=1727044 CPUtime=1800.08 cores=0,2,4,6
/proc/14954/stat : 14954 (toysat) R 14951 14954 11961 0 -1 4202496 330396 0 0 0 178512 1496 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 140736605292024 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14954/statm: 431761 373122 898 2943 0 428655 0
[pid=14954/tid=14955] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14955/stat : 14955 (toysat) S 14951 14954 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974630419696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14954/tid=14956] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14956/stat : 14956 (toysat) S 14951 14954 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974619929840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14954/tid=14957] ppid=14951 vsize=1727044 CPUtime=0 cores=0,2,4,6
/proc/14954/task/14957/stat : 14957 (toysat) S 14951 14954 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 115180053 1768493056 373122 33554432000 4194304 16246674 140736605292848 139974609456304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1727044

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.11
CPU user time (s): 1785.13
CPU system time (s): 14.9757
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1727044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.13
system time used= 14.9757
maximum resident set size= 1492488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330396
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= 278
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77527 second user time and 7.17391 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 22:47:33
IDJOB=4079309
IDBENCH=92731
IDSOLVER=2542
FILE ID=node107/4079309-1465332453
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_9.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079309-1465332453/watcher-4079309-1465332453 -o /tmp/evaluation-result-4079309-1465332453/solver-4079309-1465332453 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079309-1465332453.opb

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

MD5SUM BENCH= 9dfe9f707e4bec0ff7b60653d14cbd16
RANDOM SEED=549556001

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31214824 kB
Buffers:           62016 kB
Cached:           221688 kB
SwapCached:         1640 kB
Active:           447912 kB
Inactive:         194892 kB
Active(anon):     357144 kB
Inactive(anon):     4228 kB
Active(file):      90768 kB
Inactive(file):   190664 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             34476 kB
Writeback:             0 kB
AnonPages:        669452 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             603948 kB
SReclaimable:      47300 kB
SUnreclaim:       556648 kB
KernelStack:        1520 kB
PageTables:         7252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1512268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node107 at 2016-06-07 23:17:34