Trace number 4080043

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.07 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb
MD5SUMba6df77caf05680eb2c10dacd1851609
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-672
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 389
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 1251
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 13703
Number of bits of the biggest sum of numbers14
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-07T10:54:02+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080043-1465289642.opb"]
0.00/0.01	c use --random-gen="2234643945 2912220724 2415188741 2817833981 3683082576 2783090223 1856153294 1873000259 3866658431 3057051693 2295236992 3756212634 786945616 2645706020 3244312423 2398075335 2516776830 4127213811 1899451589 2768076971 3177364564 656957984 3181574064 1588530133 1345671305 617924857 2232781387 688476015 1583100743 4096934471 1444115012 493725057 3507295130 4010054461 3722399413 3658089504 3582304672 2292190160 3696797696 2909528661 1349026598 267130436 2824541969 1397777982 3545037782 142180377 75914776 754661393 1219044007 1027205523 473934233 2719227001 430910990 2668666773 4188643529 2030049395 1413909792 2316221656 2661160675 1835819481 946630303 2010869283 4072805758 332392866 1694602612 1870994996 3190876354 1717480701 2188036600 2566624213 1166220779 521532788 3382050224 2071473088 3417614217 401018226 1404035480 384895891 1407078036 3895707340 98154941 432327088 4132388640 4276172832 2725034372 3242882656 1254951497 2513938389 4260203740 2622092646 3267870782 4206537990 1466978537 2888066227 1432113510 553051719 1468797779 1000579589 4201237122 320751180 2399788553 1506540440 2898949505 59976425 439631175 753911395 2117398399 1873508439 2905048105 2100700077 2137533244 717086156 1280101802 3902772995 371115673 3884495586 1848238215 2534873244 2496759660 1021913325 2615537248 4253787303 3566523725 2641233566 1972326820 4208036321 3225577751 3568941292 4067712932 2244808644 1872885393 3235352821 926067387 4019188519 1357671562 2121979680 3119139405 1717469289 3957483181 2722345634 480500098 2351761392 798940473 1204642516 4114824244 2087652014 1644706109 704319932 4058300915 3244131469 1836946796 1434834797 685787200 2730759823 1942517086 62886281 565133954 3080483587 3067879091 1977853673 1192457486 25540913 1931356931 1401612995 945831004 1003281027 2317949327 3833726053 1526963119 1614649301 53847864 570663812 2418299533 1992820271 705878678 3437112156 1706059388 3444956827 2173881641 4202020427 3162422633 1565370597 1207192547 2711040507 2321381679 3952444473 4022625100 3981723847 4171040137 2183196461 2065776773 360897299 2160834616 288244171 2994262826 4110242556 1699595123 1760860337 2323509130 816515850 93203686 2950122747 879908622 570793079 2382564277 187568391 1239095533 4204356574 319955304 3886821659 293986437 1969316170 3227331784 2654542264 663092858 2895514828 1007048288 2033550612 3713254409 2072139306 2623626109 3473520754 2794420564 726647120 3558093974 4373700 2502858772 3330325229 3428793494 1732258732 310859050 153320975 1914593003 2514561681 784682203 4036263939 1742862107 3911072544 3046453163 4160240608 3821208881 837279494 2478327653 3976767425 4264542612 2965335555 2122653295 2697049973 1474963813 2359775183 4247446677 2186179297 1786740506 2697089805 2702135294 1427104100 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.49/1.51	c BCD2: Hardening is enabled.
1.49/1.51	c BCD2: BiasedSearch is enabled.
1.49/1.51	c Solving starts ...
1.49/1.51	c ============================[ Search Statistics ]============================
1.49/1.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.51	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.51	c =============================================================================
1.49/1.51	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.39/2.40	c  0.9s |       1 |     1978 |      100 |    27456      0 |      148 |      146
4.49/4.56	c  3.0s |       1 |     5149 |      200 |    30202      0 |      148 |      146
5.29/5.32	c  3.8s |       2 |     6568 |      250 |    30202      0 |      148 |      146
8.59/8.62	c  7.1s |       2 |    11961 |      450 |    33223      0 |      148 |      146
9.09/9.11	c  7.6s |       3 |    12182 |      475 |    33223      0 |      148 |      146
11.59/11.61	c 10.1s |       3 |    16132 |      575 |    36546      0 |      148 |      146
14.88/14.90	c 13.4s |       3 |    22444 |      775 |    36546      0 |      148 |      146
15.49/15.57	c 14.1s |       4 |    23364 |      813 |    36546      0 |      148 |      146
18.69/18.72	c 17.2s |       4 |    26363 |     1013 |    40201      0 |      169 |      167
22.28/22.39	c 20.9s |       4 |    33189 |     1213 |    40201      0 |      169 |      167
23.98/24.05	c 22.5s |       5 |    35650 |     1320 |    40201      0 |      169 |      167
27.49/27.53	c 26.0s |       5 |    36616 |     1520 |    44222      0 |      169 |      167
30.68/30.72	c 29.2s |       5 |    39380 |     1720 |    44222      0 |      169 |      167
33.68/33.77	c 32.3s |       5 |    43575 |     1920 |    44222      0 |      169 |      167
36.39/36.47	c 35.0s |       6 |    44232 |     2081 |    48645      0 |      169 |      167
40.08/40.18	c 38.7s |       6 |    47065 |     2281 |    48645      0 |      169 |      167
42.90/42.92	c 41.4s |       6 |    51082 |     2481 |    48645      0 |      169 |      167
45.59/45.63	c 44.1s |       6 |    51848 |     2581 |    48645      0 |      169 |      167
48.79/48.87	c 47.4s |       6 |    56263 |     2781 |    48645      0 |      169 |      167
51.39/51.46	c 49.9s |       6 |    59899 |     2981 |    48645      0 |      169 |      167
54.39/54.40	c 52.9s |       6 |    62237 |     3181 |    48645      0 |      169 |      167
54.89/54.90	c 53.4s |       7 |    62311 |     3223 |    53510      0 |      169 |      167
57.49/57.58	c 56.1s |       7 |    63119 |     3423 |    53510      0 |      169 |      167
60.09/60.15	c 58.6s |       7 |    63429 |     3623 |    53510      0 |      169 |      167
63.09/63.14	c 61.6s |       7 |    64362 |     3823 |    53510      0 |      169 |      167
67.39/67.47	c 66.0s |       7 |    65801 |     4023 |    53510      0 |      191 |      189
70.99/71.00	c 69.5s |       7 |    68256 |     4223 |    53510      0 |      191 |      189
75.58/75.68	c 74.2s |       7 |    71379 |     4423 |    53510      0 |      191 |      189
78.19/78.23	c 76.7s |       7 |    73179 |     4523 |    53510      0 |      191 |      189
80.68/80.73	c 79.2s |       7 |    74164 |     4623 |    53510      0 |      191 |      189
83.59/83.65	c 82.1s |       7 |    77267 |     4823 |    53510      0 |      191 |      189
85.79/85.89	c 84.4s |       7 |    78773 |     4923 |    58862      0 |      191 |      189
86.18/86.29	c 84.8s |       8 |    80969 |     4936 |    58862      0 |      191 |      189
88.78/88.85	c 87.3s |       8 |    82634 |     5036 |    58862      0 |      191 |      189
92.98/93.08	c 91.6s |       8 |    86788 |     5236 |    58862      0 |      191 |      189
95.48/95.57	c 94.1s |       8 |    87785 |     5336 |    58862      0 |      191 |      189
99.38/99.43	c 97.9s |       8 |    88411 |     5536 |    58862      0 |      191 |      189
101.68/101.76	c  100s |       8 |    88700 |     5636 |    58862      0 |      191 |      189
104.18/104.26	c  102s |       8 |    89605 |     5736 |    58862      0 |      191 |      189
106.58/106.67	c  105s |       8 |    91485 |     5836 |    58862      0 |      191 |      189
110.48/110.54	c  109s |       8 |    91918 |     6036 |    58862      0 |      191 |      189
115.88/115.92	c  114s |       8 |    93787 |     6236 |    58862      0 |      191 |      189
118.38/118.45	c  116s |       8 |    94243 |     6336 |    58862      0 |      191 |      189
121.08/121.19	c  119s |       8 |    95053 |     6436 |    58862      0 |      191 |      189
124.18/124.20	c  122s |       8 |    95688 |     6536 |    58862      0 |      191 |      189
126.28/126.37	c  124s |       8 |    99778 |     6636 |    58862      0 |      191 |      189
130.08/130.20	c  128s |       8 |   103221 |     6836 |    58862      0 |      191 |      189
132.28/132.37	c  130s |       8 |   104126 |     6936 |    58862      0 |      191 |      189
134.88/134.95	c  133s |       8 |   106715 |     7036 |    58862      0 |      191 |      189
137.18/137.25	c  135s |       8 |   107234 |     7136 |    58862      0 |      191 |      189
140.07/140.16	c  138s |       8 |   107500 |     7236 |    58862      0 |      191 |      189
142.77/142.85	c  141s |       8 |   107744 |     7336 |    58862      0 |      191 |      189
145.28/145.33	c  143s |       8 |   108880 |     7436 |    58862      0 |      191 |      189
146.97/147.04	c  145s |       9 |   109429 |     7506 |    64749      0 |      191 |      189
149.68/149.74	c  148s |       9 |   111052 |     7606 |    64749      0 |      191 |      189
152.88/152.96	c  151s |       9 |   112168 |     7806 |    64749      0 |      191 |      189
157.67/157.78	c  156s |       9 |   113040 |     8006 |    64749      0 |      191 |      189
160.58/160.64	c  159s |       9 |   113400 |     8106 |    64749      0 |      191 |      189
164.27/164.35	c  162s |       9 |   113564 |     8206 |    64749      0 |      191 |      189
170.87/170.99	c  169s |       9 |   116752 |     8406 |    64749      0 |      191 |      189
175.87/175.91	c  174s |       9 |   118458 |     8506 |    64749      0 |      191 |      189
179.17/179.21	c  177s |       9 |   119287 |     8606 |    64749      0 |      191 |      189
182.58/182.65	c  181s |       9 |   120731 |     8706 |    64749      0 |      191 |      189
187.37/187.43	c  185s |       9 |   121086 |     8806 |    64749      0 |      191 |      189
192.97/193.07	c  191s |       9 |   121574 |     8906 |    64749      0 |      191 |      189
195.97/196.02	c  194s |       9 |   122576 |     9006 |    64749      0 |      191 |      189
198.76/198.88	c  197s |       9 |   123043 |     9106 |    64749      0 |      191 |      189
202.56/202.64	c  201s |       9 |   123849 |     9206 |    64749      0 |      191 |      189
204.57/204.64	c  203s |       9 |   124700 |     9306 |    64749      0 |      191 |      189
209.56/209.62	c  208s |       9 |   125150 |     9506 |    64749      0 |      191 |      189
212.46/212.55	c  211s |       9 |   126921 |     9606 |    64749      0 |      191 |      189
215.57/215.67	c  214s |       9 |   127447 |     9706 |    64749      0 |      191 |      189
218.26/218.37	c  216s |       9 |   127694 |     9806 |    64749      0 |      191 |      189
220.86/220.99	c  219s |       9 |   128387 |     9906 |    64749      0 |      191 |      189
224.06/224.13	c  222s |       9 |   130402 |    10006 |    64749      0 |      191 |      189
226.96/227.05	c  225s |       9 |   131148 |    10106 |    64749      0 |      191 |      189
229.66/229.71	c  228s |       9 |   132484 |    10206 |    64749      0 |      191 |      189
232.56/232.61	c  231s |       9 |   132860 |    10306 |    64749      0 |      191 |      189
234.66/234.73	c  233s |       9 |   133215 |    10406 |    64749      0 |      191 |      189
237.06/237.11	c  235s |       9 |   134084 |    10506 |    64749      0 |      191 |      189
240.56/240.61	c  239s |       9 |   135542 |    10706 |    64749      0 |      191 |      189
243.86/243.92	c  242s |       9 |   136724 |    10806 |    64749      0 |      191 |      189
246.76/246.80	c  245s |       9 |   136988 |    10906 |    64749      0 |      191 |      189
249.36/249.42	c  247s |       9 |   137297 |    11006 |    64749      0 |      191 |      189
251.86/251.97	c  250s |       9 |   140213 |    11106 |    64749      0 |      191 |      189
255.66/255.72	c  254s |       9 |   142876 |    11306 |    71224      0 |      191 |      189
256.76/256.83	c  255s |      10 |   143239 |    11361 |    71224      0 |      191 |      189
260.55/260.69	c  259s |      10 |   145377 |    11561 |    71224      0 |      191 |      189
262.75/262.83	c  261s |      10 |   146093 |    11661 |    71224      0 |      191 |      189
266.55/266.65	c  265s |      10 |   149821 |    11861 |    71224      0 |      191 |      189
269.35/269.47	c  267s |      10 |   153748 |    11961 |    71224      0 |      191 |      189
272.55/272.61	c  271s |      10 |   155546 |    12061 |    71224      0 |      191 |      189
276.35/276.50	c  274s |      10 |   158871 |    12261 |    71224      0 |      191 |      189
278.55/278.63	c  277s |      10 |   160884 |    12361 |    71224      0 |      191 |      189
280.56/280.66	c  279s |      10 |   161941 |    12461 |    71224      0 |      191 |      189
282.95/283.03	c  281s |      10 |   164099 |    12561 |    71224      0 |      191 |      189
285.55/285.63	c  284s |      10 |   167724 |    12661 |    71224      0 |      191 |      189
289.05/289.10	c  287s |      10 |   169914 |    12761 |    71224      0 |      191 |      189
292.05/292.11	c  290s |      10 |   171287 |    12861 |    71224      0 |      191 |      189
296.25/296.36	c  294s |      10 |   175017 |    13061 |    71224      0 |      191 |      189
299.15/299.25	c  297s |      10 |   176568 |    13261 |    71224      0 |      191 |      189
301.65/301.70	c  300s |      10 |   176924 |    13361 |    71224      0 |      191 |      189
304.05/304.13	c  302s |      10 |   177482 |    13561 |    71224      0 |      191 |      189
308.05/308.13	c  306s |      10 |   182551 |    13761 |    71224      0 |      191 |      189
312.75/312.86	c  311s |      10 |   184952 |    13961 |    71224      0 |      191 |      189
315.35/315.45	c  313s |      10 |   188084 |    14061 |    71224      0 |      191 |      189
319.34/319.48	c  317s |      10 |   190901 |    14261 |    71224      0 |      191 |      189
322.84/322.94	c  321s |      10 |   192114 |    14361 |    71224      0 |      191 |      189
325.65/325.72	c  324s |      10 |   192755 |    14461 |    71224      0 |      191 |      189
328.74/328.89	c  327s |      10 |   193520 |    14561 |    71224      0 |      191 |      189
332.25/332.35	c  330s |      10 |   193803 |    14661 |    71224      0 |      191 |      189
335.55/335.65	c  334s |      10 |   194322 |    14761 |    71224      0 |      191 |      189
338.34/338.45	c  336s |      10 |   194526 |    14861 |    71224      0 |      191 |      189
340.64/340.73	c  339s |      10 |   194731 |    14961 |    71224      0 |      191 |      189
342.64/342.77	c  341s |      10 |   194841 |    15061 |    71224      0 |      191 |      189
345.64/345.75	c  344s |      10 |   196053 |    15161 |    71224      0 |      191 |      189
348.65/348.77	c  347s |      10 |   196208 |    15261 |    71224      0 |      191 |      189
351.04/351.17	c  349s |      10 |   196561 |    15361 |    71224      0 |      191 |      189
354.44/354.53	c  353s |      10 |   196760 |    15461 |    71224      0 |      191 |      189
356.94/357.00	c  355s |      10 |   197474 |    15561 |    71224      0 |      191 |      189
361.84/361.93	c  360s |      10 |   200201 |    15761 |    71224      0 |      191 |      189
364.14/364.27	c  362s |      10 |   200859 |    15861 |    71224      0 |      191 |      189
367.34/367.45	c  365s |      10 |   201713 |    15961 |    71224      0 |      191 |      189
371.44/371.57	c  370s |      10 |   202788 |    16061 |    71224      0 |      191 |      189
374.24/374.39	c  372s |      10 |   203290 |    16161 |    71224      0 |      191 |      189
377.24/377.36	c  375s |      10 |   203561 |    16261 |    71224      0 |      191 |      189
380.43/380.54	c  379s |      10 |   206071 |    16361 |    71224      0 |      191 |      189
384.73/384.81	c  383s |      10 |   210493 |    16561 |    71224      0 |      191 |      189
388.63/388.79	c  387s |      10 |   211503 |    16661 |    71224      0 |      191 |      189
392.33/392.45	c  390s |      10 |   212866 |    16761 |    71224      0 |      191 |      189
394.73/394.80	c  393s |      10 |   213202 |    16861 |    71224      0 |      191 |      189
397.43/397.59	c  396s |      10 |   214528 |    16961 |    71224      0 |      191 |      189
399.73/399.85	c  398s |      10 |   214759 |    17061 |    78347      0 |      191 |      189
402.23/402.32	c  400s |      11 |   215101 |    17144 |    78347      0 |      191 |      189
405.03/405.13	c  403s |      11 |   215337 |    17244 |    78347      0 |      191 |      189
407.93/408.02	c  406s |      11 |   215678 |    17344 |    78347      0 |      191 |      189
411.23/411.30	c  409s |      11 |   216138 |    17444 |    78347      0 |      191 |      189
414.74/414.80	c  413s |      11 |   216537 |    17544 |    78347      0 |      191 |      189
417.03/417.19	c  415s |      11 |   216797 |    17644 |    78347      0 |      191 |      189
420.53/420.64	c  419s |      11 |   217810 |    17744 |    78347      0 |      191 |      189
423.23/423.31	c  421s |      11 |   223376 |    17944 |    78347      0 |      191 |      189
425.73/425.88	c  424s |      11 |   224619 |    18044 |    78347      0 |      191 |      189
428.83/428.96	c  427s |      11 |   225242 |    18144 |    78347      0 |      191 |      189
432.03/432.18	c  430s |      11 |   225399 |    18244 |    78347      0 |      191 |      189
434.53/434.66	c  433s |      11 |   225628 |    18344 |    78347      0 |      191 |      189
437.32/437.46	c  435s |      11 |   225777 |    18444 |    78347      0 |      191 |      189
440.82/440.93	c  439s |      11 |   226021 |    18544 |    78347      0 |      191 |      189
443.72/443.82	c  442s |      11 |   227729 |    18644 |    78347      0 |      191 |      189
446.53/446.67	c  445s |      11 |   227904 |    18744 |    78347      0 |      191 |      189
449.02/449.11	c  447s |      11 |   229873 |    18844 |    78347      0 |      191 |      189
452.22/452.37	c  450s |      11 |   233910 |    19044 |    78347      0 |      191 |      189
454.42/454.59	c  453s |      11 |   235838 |    19144 |    78347      0 |      191 |      189
456.92/457.01	c  455s |      11 |   236839 |    19244 |    78347      0 |      191 |      189
459.62/459.75	c  458s |      11 |   237858 |    19344 |    78347      0 |      191 |      189
462.92/463.02	c  461s |      11 |   238069 |    19444 |    78347      0 |      191 |      189
468.32/468.41	c  466s |      11 |   240692 |    19644 |    78347      0 |      191 |      189
472.72/472.88	c  471s |      11 |   244055 |    19744 |    78347      0 |      191 |      189
474.92/475.00	c  473s |      11 |   245622 |    19844 |    78347      0 |      191 |      189
477.82/477.94	c  476s |      11 |   246277 |    20044 |    78347      0 |      191 |      189
482.62/482.70	c  481s |      11 |   248466 |    20244 |    78347      0 |      191 |      189
485.02/485.16	c  483s |      11 |   248880 |    20344 |    78347      0 |      191 |      189
488.42/488.51	c  486s |      11 |   249562 |    20444 |    78347      0 |      191 |      189
491.32/491.47	c  489s |      11 |   251413 |    20544 |    78347      0 |      191 |      189
493.62/493.78	c  492s |      11 |   252057 |    20644 |    78347      0 |      191 |      189
496.12/496.25	c  494s |      11 |   252708 |    20744 |    78347      0 |      191 |      189
498.72/498.89	c  497s |      11 |   254687 |    20844 |    78347      0 |      191 |      189
502.21/502.36	c  500s |      11 |   258672 |    21044 |    78347      0 |      191 |      189
506.02/506.18	c  504s |      11 |   260137 |    21244 |    78347      0 |      191 |      189
509.61/509.72	c  508s |      11 |   263950 |    21444 |    78347      0 |      191 |      189
513.81/513.99	c  512s |      11 |   266039 |    21644 |    78347      0 |      191 |      189
517.02/517.11	c  515s |      11 |   268496 |    21844 |    78347      0 |      191 |      189
520.32/520.41	c  518s |      11 |   269389 |    22044 |    78347      0 |      191 |      189
523.91/524.02	c  522s |      11 |   271941 |    22244 |    78347      0 |      191 |      189
527.81/527.92	c  526s |      11 |   273146 |    22444 |    78347      0 |      191 |      189
531.01/531.19	c  529s |      11 |   273346 |    22544 |    78347      0 |      191 |      189
533.61/533.78	c  532s |      11 |   273943 |    22644 |    78347      0 |      191 |      189
536.01/536.18	c  534s |      11 |   274533 |    22744 |    78347      0 |      191 |      189
539.21/539.39	c  537s |      11 |   277937 |    22944 |    78347      0 |      191 |      189
541.81/541.97	c  540s |      11 |   280162 |    23044 |    78347      0 |      191 |      189
545.71/545.87	c  544s |      11 |   281842 |    23244 |    78347      0 |      191 |      189
548.21/548.40	c  546s |      11 |   282105 |    23344 |    78347      0 |      191 |      189
550.51/550.68	c  549s |      11 |   282436 |    23444 |    78347      0 |      191 |      189
555.61/555.77	c  554s |      11 |   283630 |    23644 |    78347      0 |      191 |      189
559.51/559.63	c  558s |      11 |   283918 |    23744 |    78347      0 |      191 |      189
563.00/563.17	c  561s |      11 |   284425 |    23844 |    78347      0 |      191 |      189
566.00/566.15	c  564s |      11 |   284658 |    23944 |    78347      0 |      191 |      189
568.30/568.49	c  566s |      11 |   284858 |    24044 |    78347      0 |      191 |      189
571.40/571.56	c  570s |      11 |   285088 |    24144 |    78347      0 |      191 |      189
573.70/573.84	c  572s |      11 |   287231 |    24244 |    78347      0 |      191 |      189
576.50/576.67	c  575s |      11 |   288600 |    24444 |    78347      0 |      191 |      189
580.40/580.54	c  579s |      11 |   290915 |    24644 |    78347      0 |      191 |      189
582.80/582.92	c  581s |      11 |   292641 |    24744 |    78347      0 |      191 |      189
585.30/585.43	c  583s |      11 |   293940 |    24844 |    78347      0 |      191 |      189
589.30/589.43	c  587s |      11 |   297437 |    25044 |    78347      0 |      191 |      189
592.81/592.92	c  591s |      11 |   302699 |    25244 |    78347      0 |      191 |      189
595.01/595.16	c  593s |      11 |   304199 |    25344 |    78347      0 |      191 |      189
597.31/597.49	c  595s |      11 |   305902 |    25444 |    78347      0 |      191 |      189
599.70/599.85	c  598s |      11 |   307421 |    25644 |    78347      0 |      191 |      189
602.30/602.49	c  600s |      11 |   309432 |    25744 |    86182      0 |      191 |      189
603.81/603.97	c  602s |      12 |   312495 |    25819 |    86182      0 |      191 |      189
606.00/606.11	c  604s |      12 |   316518 |    25919 |    86182      0 |      191 |      189
608.80/608.95	c  607s |      12 |   319032 |    26019 |    86182      0 |      191 |      189
611.00/611.15	c  609s |      12 |   319567 |    26119 |    86182      0 |      191 |      189
613.30/613.40	c  611s |      12 |   320347 |    26219 |    86182      0 |      191 |      189
616.40/616.59	c  615s |      12 |   320947 |    26319 |    86182      0 |      191 |      189
620.50/620.60	c  619s |      12 |   321727 |    26419 |    86182      0 |      191 |      189
624.50/624.62	c  623s |      12 |   322084 |    26519 |    86182      0 |      191 |      189
627.89/628.02	c  626s |      12 |   322279 |    26619 |    86182      0 |      191 |      189
630.69/630.85	c  629s |      12 |   322707 |    26719 |    86182      0 |      191 |      189
633.89/634.02	c  632s |      12 |   322833 |    26819 |    86182      0 |      191 |      189
636.80/636.91	c  635s |      12 |   323213 |    26919 |    86182      0 |      191 |      189
640.69/640.82	c  639s |      12 |   325129 |    27119 |    86182      0 |      191 |      189
642.89/643.08	c  641s |      12 |   327957 |    27219 |    86182      0 |      191 |      189
645.29/645.43	c  643s |      12 |   328923 |    27319 |    86182      0 |      191 |      189
647.99/648.14	c  646s |      12 |   332032 |    27519 |    86182      0 |      191 |      189
651.49/651.67	c  650s |      12 |   333557 |    27719 |    86182      0 |      191 |      189
655.50/655.66	c  654s |      12 |   334177 |    27919 |    86182      0 |      191 |      189
658.29/658.43	c  656s |      12 |   334499 |    28019 |    86182      0 |      191 |      189
661.29/661.47	c  659s |      12 |   334700 |    28119 |    86182      0 |      191 |      189
663.89/664.04	c  662s |      12 |   334818 |    28219 |    86182      0 |      191 |      189
666.29/666.44	c  664s |      12 |   335053 |    28319 |    86182      0 |      191 |      189
669.69/669.88	c  668s |      12 |   335880 |    28419 |    86182      0 |      191 |      189
673.09/673.22	c  671s |      12 |   336884 |    28519 |    86182      0 |      191 |      189
676.39/676.57	c  675s |      12 |   338183 |    28619 |    86182      0 |      191 |      189
678.49/678.60	c  677s |      12 |   339479 |    28719 |    86182      0 |      191 |      189
681.29/681.45	c  679s |      12 |   339717 |    28819 |    86182      0 |      191 |      189
684.69/684.80	c  683s |      12 |   339833 |    28919 |    86182      0 |      191 |      189
687.39/687.55	c  686s |      12 |   340326 |    29019 |    86182      0 |      191 |      189
689.79/689.94	c  688s |      12 |   340542 |    29119 |    86182      0 |      191 |      189
692.58/692.74	c  691s |      12 |   342310 |    29219 |    86182      0 |      191 |      189
694.68/694.80	c  693s |      12 |   344380 |    29319 |    86182      0 |      191 |      189
697.98/698.17	c  696s |      12 |   346530 |    29519 |    86182      0 |      191 |      189
700.18/700.32	c  698s |      12 |   347932 |    29619 |    86182      0 |      191 |      189
702.28/702.42	c  700s |      12 |   349197 |    29719 |    86182      0 |      191 |      189
704.58/704.70	c  703s |      12 |   350056 |    29819 |    86182      0 |      191 |      189
706.88/707.00	c  705s |      12 |   350479 |    29919 |    86182      0 |      191 |      189
710.98/711.11	c  709s |      12 |   354259 |    30119 |    86182      0 |      191 |      189
712.98/713.14	c  711s |      12 |   354815 |    30219 |    86182      0 |      191 |      189
716.68/716.88	c  715s |      12 |   356458 |    30419 |    86182      0 |      191 |      189
719.29/719.44	c  717s |      12 |   357906 |    30519 |    86182      0 |      191 |      189
723.18/723.34	c  721s |      12 |   358589 |    30619 |    86182      0 |      191 |      189
726.68/726.81	c  725s |      12 |   358919 |    30719 |    86182      0 |      191 |      189
729.48/729.65	c  728s |      12 |   359169 |    30819 |    86182      0 |      191 |      189
732.68/732.81	c  731s |      12 |   359537 |    30919 |    86182      0 |      191 |      189
735.28/735.41	c  733s |      12 |   359827 |    31019 |    86182      0 |      191 |      189
738.78/738.93	c  737s |      12 |   362299 |    31219 |    86182      0 |      191 |      189
741.18/741.36	c  739s |      12 |   362604 |    31319 |    86182      0 |      191 |      189
743.28/743.49	c  741s |      12 |   362995 |    31419 |    86182      0 |      191 |      189
746.97/747.13	c  745s |      12 |   363244 |    31619 |    86182      0 |      191 |      189
751.18/751.32	c  749s |      12 |   364846 |    31819 |    86182      0 |      191 |      189
753.38/753.54	c  752s |      12 |   366051 |    31919 |    86182      0 |      191 |      189
756.47/756.61	c  755s |      12 |   366808 |    32019 |    86182      0 |      191 |      189
759.47/759.61	c  758s |      12 |   367124 |    32119 |    86182      0 |      191 |      189
762.87/763.07	c  761s |      12 |   367564 |    32219 |    86182      0 |      191 |      189
766.27/766.47	c  764s |      12 |   367729 |    32319 |    86182      0 |      191 |      189
769.27/769.49	c  767s |      12 |   367897 |    32419 |    86182      0 |      191 |      189
771.77/771.90	c  770s |      12 |   368477 |    32519 |    86182      0 |      191 |      189
774.47/774.61	c  773s |      12 |   368910 |    32619 |    86182      0 |      191 |      189
776.58/776.77	c  775s |      12 |   372706 |    32719 |    86182      0 |      191 |      189
779.17/779.38	c  777s |      12 |   374826 |    32819 |    86182      0 |      191 |      189
781.67/781.86	c  780s |      12 |   375861 |    32919 |    86182      0 |      191 |      189
785.17/785.36	c  783s |      12 |   377397 |    33119 |    86182      0 |      191 |      189
787.37/787.53	c  786s |      12 |   380039 |    33219 |    86182      0 |      191 |      189
790.77/791.00	c  789s |      12 |   382720 |    33419 |    86182      0 |      191 |      189
793.57/793.74	c  792s |      12 |   383143 |    33519 |    86182      0 |      191 |      189
796.27/796.50	c  794s |      12 |   383419 |    33619 |    86182      0 |      191 |      189
798.97/799.15	c  797s |      12 |   383651 |    33719 |    86182      0 |      191 |      189
803.67/803.81	c  802s |      12 |   384091 |    33819 |    86182      0 |      191 |      189
807.57/807.75	c  806s |      12 |   386866 |    33919 |    86182      0 |      191 |      189
810.06/810.20	c  808s |      12 |   387815 |    34119 |    86182      0 |      191 |      189
813.66/813.89	c  812s |      12 |   389486 |    34319 |    86182      0 |      191 |      189
817.36/817.50	c  815s |      12 |   393102 |    34519 |    86182      0 |      191 |      189
819.96/820.14	c  818s |      12 |   394326 |    34619 |    86182      0 |      191 |      189
822.46/822.62	c  821s |      12 |   395331 |    34719 |    86182      0 |      191 |      189
825.26/825.45	c  823s |      12 |   395943 |    34819 |    86182      0 |      191 |      189
828.86/829.01	c  827s |      12 |   396206 |    34919 |    86182      0 |      191 |      189
831.96/832.13	c  830s |      12 |   396463 |    35019 |    86182      0 |      191 |      189
835.56/835.71	c  834s |      12 |   396591 |    35119 |    86182      0 |      191 |      189
839.36/839.52	c  838s |      12 |   398471 |    35219 |    86182      0 |      191 |      189
842.26/842.46	c  840s |      12 |   399453 |    35319 |    86182      0 |      191 |      189
844.56/844.72	c  843s |      12 |   401444 |    35419 |    86182      0 |      191 |      189
848.56/848.73	c  847s |      12 |   401991 |    35519 |    86182      0 |      191 |      189
852.46/852.63	c  851s |      12 |   402591 |    35619 |    86182      0 |      191 |      189
855.96/856.15	c  854s |      12 |   402791 |    35719 |    86182      0 |      191 |      189
859.36/859.55	c  858s |      12 |   402985 |    35819 |    86182      0 |      191 |      189
862.55/862.70	c  861s |      12 |   403352 |    35919 |    86182      0 |      191 |      189
866.35/866.53	c  865s |      12 |   403550 |    36019 |    86182      0 |      191 |      189
868.96/869.14	c  867s |      12 |   403699 |    36119 |    86182      0 |      191 |      189
871.85/872.07	c  870s |      12 |   405917 |    36219 |    86182      0 |      191 |      189
874.25/874.44	c  872s |      12 |   407189 |    36319 |    86182      0 |      191 |      189
877.05/877.28	c  875s |      12 |   408287 |    36519 |    86182      0 |      191 |      189
879.15/879.35	c  877s |      12 |   408648 |    36619 |    86182      0 |      191 |      189
882.06/882.22	c  880s |      12 |   409959 |    36819 |    86182      0 |      191 |      189
884.75/884.92	c  883s |      12 |   411306 |    37019 |    86182      0 |      191 |      189
887.05/887.27	c  885s |      12 |   413176 |    37119 |    86182      0 |      191 |      189
890.75/890.95	c  889s |      12 |   414571 |    37319 |    86182      0 |      191 |      189
894.16/894.40	c  892s |      12 |   416264 |    37519 |    86182      0 |      191 |      189
897.95/898.12	c  896s |      12 |   416532 |    37619 |    86182      0 |      191 |      189
902.05/902.20	c  900s |      12 |   416740 |    37719 |    86182      0 |      191 |      189
905.75/905.91	c  904s |      12 |   416893 |    37819 |    86182      0 |      191 |      189
908.85/909.07	c  907s |      12 |   417632 |    37919 |    86182      0 |      191 |      189
912.05/912.28	c  910s |      12 |   418199 |    38019 |    86182      0 |      191 |      189
915.75/915.94	c  914s |      12 |   418864 |    38119 |    86182      0 |      191 |      189
918.95/919.16	c  917s |      12 |   419563 |    38219 |    86182      0 |      191 |      189
921.05/921.20	c  919s |      12 |   422245 |    38319 |    86182      0 |      191 |      189
923.14/923.33	c  921s |      12 |   423975 |    38419 |    86182      0 |      191 |      189
925.54/925.78	c  924s |      12 |   425662 |    38519 |    86182      0 |      191 |      189
929.04/929.23	c  927s |      12 |   427493 |    38719 |    94801      0 |      191 |      189
931.55/931.80	c  930s |      12 |   429165 |    38819 |    94801      0 |      191 |      189
932.24/932.41	c  930s |      13 |   429841 |    38832 |    94801      0 |      191 |      189
935.24/935.43	c  933s |      13 |   435204 |    39032 |    94801      0 |      191 |      189
938.34/938.59	c  937s |      13 |   437245 |    39232 |    94801      0 |      191 |      189
940.54/940.72	c  939s |      13 |   437929 |    39332 |    94801      0 |      191 |      189
943.44/943.63	c  942s |      13 |   439046 |    39432 |    94801      0 |      191 |      189
945.95/946.11	c  944s |      13 |   441326 |    39532 |    94801      0 |      191 |      189
949.25/949.46	c  947s |      13 |   443215 |    39632 |    94801      0 |      191 |      189
951.64/951.86	c  950s |      13 |   445850 |    39732 |    94801      0 |      191 |      189
954.04/954.21	c  952s |      13 |   448614 |    39832 |    94801      0 |      191 |      189
956.34/956.52	c  955s |      13 |   450263 |    39932 |    94801      0 |      191 |      189
959.04/959.21	c  957s |      13 |   450927 |    40032 |    94801      0 |      191 |      189
964.04/964.20	c  962s |      13 |   455327 |    40232 |    94801      0 |      191 |      189
967.24/967.41	c  965s |      13 |   456516 |    40332 |    94801      0 |      191 |      189
972.13/972.40	c  970s |      13 |   458339 |    40532 |    94801      0 |      191 |      189
976.13/976.33	c  974s |      13 |   459146 |    40632 |    94801      0 |      191 |      189
980.53/980.75	c  979s |      13 |   459447 |    40732 |    94801      0 |      191 |      189
985.23/985.41	c  983s |      13 |   459552 |    40832 |    94801      0 |      191 |      189
989.64/989.89	c  988s |      13 |   459743 |    40932 |    94801      0 |      191 |      189
993.34/993.58	c  992s |      13 |   459946 |    41032 |    94801      0 |      191 |      189
997.14/997.36	c  995s |      13 |   460100 |    41132 |    94801      0 |      191 |      189
1000.85/1001.03	c  999s |      13 |   460261 |    41232 |    94801      0 |      191 |      189
1004.04/1004.29	c 1002s |      13 |   460418 |    41332 |    94801      0 |      191 |      189
1008.44/1008.63	c 1007s |      13 |   460840 |    41432 |    94801      0 |      191 |      189
1011.34/1011.54	c 1010s |      13 |   461324 |    41532 |    94801      0 |      191 |      189
1015.34/1015.57	c 1014s |      13 |   463104 |    41732 |    94801      0 |      191 |      189
1019.73/1019.94	c 1018s |      13 |   463684 |    41832 |    94801      0 |      191 |      189
1023.13/1023.39	c 1021s |      13 |   463977 |    41932 |    94801      0 |      191 |      189
1026.73/1026.91	c 1025s |      13 |   464249 |    42032 |    94801      0 |      191 |      189
1031.93/1032.17	c 1030s |      13 |   464526 |    42132 |    94801      0 |      191 |      189
1037.43/1037.63	c 1036s |      13 |   464949 |    42232 |    94801      0 |      191 |      189
1041.93/1042.15	c 1040s |      13 |   465381 |    42332 |    94801      0 |      191 |      189
1046.43/1046.66	c 1045s |      13 |   465657 |    42432 |    94801      0 |      191 |      189
1050.53/1050.76	c 1049s |      13 |   465955 |    42532 |    94801      0 |      191 |      189
1054.83/1055.07	c 1053s |      13 |   466236 |    42632 |    94801      0 |      191 |      189
1059.53/1059.74	c 1058s |      13 |   467212 |    42732 |    94801      0 |      191 |      189
1063.43/1063.65	c 1062s |      13 |   467889 |    42832 |    94801      0 |      191 |      189
1065.93/1066.17	c 1064s |      13 |   468999 |    42932 |    94801      0 |      191 |      189
1068.72/1068.92	c 1067s |      13 |   469874 |    43032 |    94801      0 |      191 |      189
1072.12/1072.32	c 1070s |      13 |   470268 |    43132 |    94801      0 |      191 |      189
1075.82/1076.00	c 1074s |      13 |   471298 |    43232 |    94801      0 |      191 |      189
1079.02/1079.27	c 1077s |      13 |   472201 |    43332 |    94801      0 |      191 |      189
1082.82/1083.09	c 1081s |      13 |   473165 |    43432 |    94801      0 |      191 |      189
1086.92/1087.12	c 1085s |      13 |   473413 |    43532 |    94801      0 |      191 |      189
1091.32/1091.58	c 1090s |      13 |   473641 |    43632 |    94801      0 |      191 |      189
1094.61/1094.88	c 1093s |      13 |   473898 |    43732 |    94801      0 |      191 |      189
1097.01/1097.28	c 1095s |      13 |   474607 |    43832 |    94801      0 |      191 |      189
1100.11/1100.38	c 1098s |      13 |   475191 |    43932 |    94801      0 |      191 |      189
1102.12/1102.39	c 1100s |      13 |   475369 |    44032 |    94801      0 |      191 |      189
1104.32/1104.53	c 1103s |      13 |   475601 |    44132 |    94801      0 |      191 |      189
1107.81/1108.04	c 1106s |      13 |   476010 |    44332 |    94801      0 |      191 |      189
1110.61/1110.89	c 1109s |      13 |   476191 |    44432 |    94801      0 |      191 |      189
1113.81/1114.00	c 1112s |      13 |   476983 |    44532 |    94801      0 |      191 |      189
1115.81/1116.03	c 1114s |      13 |   477536 |    44632 |    94801      0 |      191 |      189
1120.00/1120.21	c 1118s |      13 |   478048 |    44732 |    94801      0 |      191 |      189
1122.30/1122.59	c 1121s |      13 |   478313 |    44832 |    94801      0 |      191 |      189
1127.00/1127.22	c 1125s |      13 |   479421 |    44932 |    94801      0 |      191 |      189
1129.51/1129.75	c 1128s |      13 |   479846 |    45032 |    94801      0 |      191 |      189
1131.71/1131.97	c 1130s |      13 |   480105 |    45132 |    94801      0 |      191 |      189
1133.80/1134.04	c 1132s |      13 |   480415 |    45232 |    94801      0 |      191 |      189
1136.10/1136.34	c 1134s |      13 |   481159 |    45332 |    94801      0 |      191 |      189
1138.20/1138.47	c 1136s |      13 |   481697 |    45432 |    94801      0 |      191 |      189
1141.79/1142.08	c 1140s |      13 |   483556 |    45632 |    94801      0 |      191 |      189
1145.09/1145.35	c 1143s |      13 |   484352 |    45732 |    94801      0 |      191 |      189
1149.69/1149.93	c 1148s |      13 |   484814 |    45832 |    94801      0 |      191 |      189
1152.79/1153.08	c 1151s |      13 |   485594 |    45932 |    94801      0 |      191 |      189
1156.39/1156.68	c 1155s |      13 |   487958 |    46132 |    94801      0 |      191 |      189
1158.89/1159.14	c 1157s |      13 |   489093 |    46332 |    94801      0 |      191 |      189
1161.29/1161.57	c 1160s |      13 |   489448 |    46532 |    94801      0 |      191 |      189
1164.09/1164.36	c 1162s |      13 |   489821 |    46732 |    94801      0 |      191 |      189
1167.28/1167.56	c 1166s |      13 |   490547 |    47032 |    94801      0 |      191 |      189
1169.68/1169.92	c 1168s |      13 |   490854 |    47232 |    94801      0 |      191 |      189
1172.58/1172.89	c 1171s |      13 |   492661 |    47432 |    94801      0 |      191 |      189
1175.38/1175.66	c 1174s |      13 |   493492 |    47632 |    94801      0 |      191 |      189
1179.18/1179.48	c 1177s |      13 |   494826 |    47832 |    94801      0 |      191 |      189
1181.38/1181.63	c 1180s |      13 |   495245 |    47932 |    94801      0 |      191 |      189
1183.98/1184.24	c 1182s |      13 |   495756 |    48032 |    94801      0 |      191 |      189
1188.08/1188.34	c 1186s |      13 |   497672 |    48232 |    94801      0 |      191 |      189
1190.98/1191.21	c 1189s |      13 |   499829 |    48432 |    94801      0 |      191 |      189
1195.08/1195.37	c 1193s |      13 |   504755 |    48632 |    94801      0 |      191 |      189
1197.18/1197.42	c 1195s |      13 |   505432 |    48732 |    94801      0 |      191 |      189
1201.37/1201.63	c 1200s |      13 |   507031 |    48932 |    94801      0 |      191 |      189
1204.97/1205.22	c 1203s |      13 |   508367 |    49132 |    94801      0 |      191 |      189
1208.87/1209.17	c 1207s |      13 |   509756 |    49332 |    94801      0 |      191 |      189
1211.47/1211.75	c 1210s |      13 |   510423 |    49432 |    94801      0 |      191 |      189
1214.87/1215.12	c 1213s |      13 |   510648 |    49532 |    94801      0 |      191 |      189
1218.16/1218.44	c 1216s |      13 |   511095 |    49632 |    94801      0 |      191 |      189
1220.56/1220.80	c 1219s |      13 |   511791 |    49732 |    94801      0 |      191 |      189
1224.07/1224.37	c 1222s |      13 |   512132 |    49832 |    94801      0 |      191 |      189
1227.26/1227.57	c 1226s |      13 |   512313 |    49932 |    94801      0 |      191 |      189
1230.96/1231.27	c 1229s |      13 |   512493 |    50032 |    94801      0 |      191 |      189
1235.26/1235.56	c 1234s |      13 |   512651 |    50132 |    94801      0 |      191 |      189
1238.86/1239.11	c 1237s |      13 |   512972 |    50232 |    94801      0 |      191 |      189
1242.77/1243.03	c 1241s |      13 |   513220 |    50332 |    94801      0 |      191 |      189
1246.26/1246.54	c 1245s |      13 |   513500 |    50432 |    94801      0 |      191 |      189
1249.95/1250.21	c 1248s |      13 |   513717 |    50532 |    94801      0 |      191 |      189
1253.65/1254.00	c 1252s |      13 |   513870 |    50632 |    94801      0 |      191 |      189
1256.15/1256.48	c 1254s |      13 |   514372 |    50732 |    94801      0 |      191 |      189
1259.95/1260.20	c 1258s |      13 |   516910 |    50932 |    94801      0 |      191 |      189
1262.45/1262.73	c 1261s |      13 |   517267 |    51032 |    94801      0 |      191 |      189
1266.95/1267.23	c 1265s |      13 |   518295 |    51232 |    94801      0 |      191 |      189
1270.85/1271.12	c 1269s |      13 |   520579 |    51432 |    94801      0 |      191 |      189
1275.05/1275.36	c 1273s |      13 |   521757 |    51732 |    94801      0 |      191 |      189
1278.44/1278.77	c 1277s |      13 |   521975 |    51832 |    94801      0 |      191 |      189
1281.94/1282.28	c 1280s |      13 |   522194 |    51932 |    94801      0 |      191 |      189
1285.04/1285.34	c 1283s |      13 |   522426 |    52032 |    94801      0 |      191 |      189
1288.04/1288.35	c 1286s |      13 |   523805 |    52232 |    94801      0 |      191 |      189
1290.34/1290.63	c 1289s |      13 |   524153 |    52332 |    94801      0 |      191 |      189
1292.64/1292.90	c 1291s |      13 |   524339 |    52432 |    94801      0 |      191 |      189
1295.04/1295.32	c 1293s |      13 |   524487 |    52532 |    94801      0 |      191 |      189
1298.43/1298.79	c 1297s |      13 |   524769 |    52632 |    94801      0 |      191 |      189
1302.73/1303.01	c 1301s |      13 |   524956 |    52732 |    94801      0 |      191 |      189
1306.23/1306.55	c 1305s |      13 |   525862 |    52832 |    94801      0 |      191 |      189
1309.43/1309.75	c 1308s |      13 |   526497 |    52932 |    94801      0 |      191 |      189
1311.53/1311.81	c 1310s |      13 |   527495 |    53032 |    94801      0 |      191 |      189
1314.13/1314.45	c 1312s |      13 |   527819 |    53132 |    94801      0 |      191 |      189
1316.83/1317.19	c 1315s |      13 |   528048 |    53232 |    94801      0 |      191 |      189
1320.03/1320.33	c 1318s |      13 |   528273 |    53332 |    94801      0 |      191 |      189
1323.33/1323.62	c 1322s |      13 |   528445 |    53432 |    94801      0 |      191 |      189
1326.44/1326.72	c 1325s |      13 |   528574 |    53532 |    94801      0 |      191 |      189
1329.13/1329.48	c 1327s |      13 |   528716 |    53632 |    94801      0 |      191 |      189
1332.63/1332.90	c 1331s |      13 |   528899 |    53732 |    94801      0 |      191 |      189
1335.93/1336.27	c 1334s |      13 |   529140 |    53832 |    94801      0 |      191 |      189
1338.63/1338.93	c 1337s |      13 |   531593 |    53932 |    94801      0 |      191 |      189
1342.63/1342.93	c 1341s |      13 |   533506 |    54132 |    94801      0 |      191 |      189
1346.63/1346.90	c 1345s |      13 |   533610 |    54232 |    94801      0 |      191 |      189
1350.43/1350.74	c 1349s |      13 |   533752 |    54332 |    94801      0 |      191 |      189
1354.03/1354.38	c 1352s |      13 |   534034 |    54432 |    94801      0 |      191 |      189
1357.82/1358.12	c 1356s |      13 |   534233 |    54532 |    94801      0 |      191 |      189
1361.72/1362.03	c 1360s |      13 |   534423 |    54632 |    94801      0 |      191 |      189
1366.12/1366.42	c 1364s |      13 |   534762 |    54832 |    94801      0 |      191 |      189
1371.53/1371.83	c 1370s |      13 |   535017 |    54932 |    94801      0 |      191 |      189
1376.72/1377.03	c 1375s |      13 |   535772 |    55032 |    94801      0 |      191 |      189
1379.72/1380.00	c 1378s |      13 |   536094 |    55132 |    94801      0 |      191 |      189
1382.32/1382.63	c 1381s |      13 |   537283 |    55232 |    94801      0 |      191 |      189
1384.42/1384.74	c 1383s |      13 |   537821 |    55332 |    94801      0 |      191 |      189
1389.13/1389.46	c 1387s |      13 |   538169 |    55432 |    94801      0 |      191 |      189
1394.12/1394.46	c 1392s |      13 |   538644 |    55532 |    94801      0 |      191 |      189
1398.42/1398.71	c 1397s |      13 |   539056 |    55632 |    94801      0 |      191 |      189
1401.92/1402.21	c 1400s |      13 |   539344 |    55732 |    94801      0 |      191 |      189
1405.82/1406.11	c 1404s |      13 |   539508 |    55832 |    94801      0 |      191 |      189
1410.32/1410.64	c 1409s |      13 |   539998 |    55932 |    94801      0 |      191 |      189
1415.32/1415.70	c 1414s |      13 |   540215 |    56032 |    94801      0 |      191 |      189
1420.12/1420.40	c 1418s |      13 |   540596 |    56132 |    94801      0 |      191 |      189
1422.71/1423.09	c 1421s |      13 |   540986 |    56232 |    94801      0 |      191 |      189
1425.71/1426.03	c 1424s |      13 |   541612 |    56332 |    94801      0 |      191 |      189
1430.31/1430.68	c 1429s |      13 |   541866 |    56432 |    94801      0 |      191 |      189
1434.91/1435.24	c 1433s |      13 |   542035 |    56532 |    94801      0 |      191 |      189
1437.81/1438.15	c 1436s |      13 |   542692 |    56632 |    94801      0 |      191 |      189
1440.41/1440.77	c 1439s |      13 |   543968 |    56732 |    94801      0 |      191 |      189
1443.11/1443.44	c 1441s |      13 |   544874 |    56832 |    94801      0 |      191 |      189
1446.11/1446.40	c 1444s |      13 |   545622 |    56932 |    94801      0 |      191 |      189
1450.41/1450.72	c 1449s |      13 |   546017 |    57032 |    94801      0 |      191 |      189
1454.91/1455.28	c 1453s |      13 |   546426 |    57132 |    94801      0 |      191 |      189
1459.61/1459.98	c 1458s |      13 |   546594 |    57232 |    94801      0 |      191 |      189
1463.71/1464.03	c 1462s |      13 |   546996 |    57332 |    94801      0 |      191 |      189
1466.21/1466.53	c 1465s |      13 |   547988 |    57432 |    94801      0 |      191 |      189
1468.40/1468.71	c 1467s |      13 |   548871 |    57532 |    94801      0 |      191 |      189
1471.40/1471.80	c 1470s |      13 |   552443 |    57632 |    94801      0 |      191 |      189
1474.81/1475.17	c 1473s |      13 |   552942 |    57732 |    94801      0 |      191 |      189
1479.00/1479.36	c 1477s |      13 |   553267 |    57832 |    94801      0 |      191 |      189
1481.60/1481.94	c 1480s |      13 |   554086 |    57932 |    94801      0 |      191 |      189
1485.50/1485.81	c 1484s |      13 |   554421 |    58032 |   104282      0 |      191 |      189
1489.40/1489.79	c 1488s |      13 |   554606 |    58132 |   104282      0 |      191 |      189
1492.80/1493.14	c 1491s |      13 |   555021 |    58232 |   104282      0 |      191 |      189
1496.50/1496.85	c 1495s |      13 |   555221 |    58332 |   104282      0 |      191 |      189
1497.10/1497.46	c 1495s |      14 |   555417 |    58352 |   104282      0 |      191 |      189
1505.30/1505.66	c 1504s |      14 |   555654 |    58452 |   104282      0 |      191 |      189
1513.31/1513.62	c 1512s |      14 |   556046 |    58552 |   104282      0 |      191 |      189
1518.80/1519.11	c 1517s |      14 |   556617 |    58652 |   104282      0 |      191 |      189
1523.50/1523.87	c 1522s |      14 |   557940 |    58752 |   104282      0 |      191 |      189
1529.80/1530.20	c 1528s |      14 |   558320 |    58852 |   104282      0 |      191 |      189
1537.09/1537.45	c 1535s |      14 |   558511 |    58952 |   104282      0 |      191 |      189
1544.99/1545.36	c 1543s |      14 |   558705 |    59052 |   104282      0 |      191 |      189
1552.19/1552.52	c 1551s |      14 |   558881 |    59152 |   104282      0 |      191 |      189
1559.99/1560.37	c 1558s |      14 |   559219 |    59252 |   104282      0 |      191 |      189
1568.30/1568.66	c 1567s |      14 |   559403 |    59352 |   104282      0 |      191 |      189
1575.89/1576.22	c 1574s |      14 |   559836 |    59452 |   104282      0 |      191 |      189
1583.89/1584.23	c 1582s |      14 |   559966 |    59552 |   104282      0 |      191 |      189
1589.49/1589.87	c 1588s |      14 |   560153 |    59652 |   104282      0 |      191 |      189
1595.89/1596.28	c 1594s |      14 |   560523 |    59752 |   104282      0 |      191 |      189
1598.38/1598.79	c 1597s |      14 |   561600 |    59852 |   104282      0 |      191 |      189
1601.18/1601.54	c 1600s |      14 |   562653 |    59952 |   104282      0 |      191 |      189
1606.68/1607.02	c 1605s |      14 |   563484 |    60052 |   104282      0 |      191 |      189
1611.29/1611.65	c 1610s |      14 |   565511 |    60152 |   104282      0 |      191 |      189
1616.08/1616.46	c 1614s |      14 |   567455 |    60252 |   104282      0 |      191 |      189
1620.38/1620.76	c 1619s |      14 |   568276 |    60352 |   104282      0 |      191 |      189
1625.28/1625.61	c 1624s |      14 |   570339 |    60452 |   104282      0 |      191 |      189
1628.79/1629.14	c 1627s |      14 |   571052 |    60552 |   104282      0 |      191 |      189
1631.38/1631.77	c 1630s |      14 |   571469 |    60652 |   104282      0 |      191 |      189
1634.39/1634.74	c 1633s |      14 |   572299 |    60852 |   104282      0 |      191 |      189
1636.59/1636.92	c 1635s |      14 |   572690 |    60952 |   104282      0 |      191 |      189
1641.58/1641.91	c 1640s |      14 |   573450 |    61052 |   104282      0 |      191 |      189
1644.08/1644.48	c 1642s |      14 |   574252 |    61152 |   104282      0 |      191 |      189
1647.08/1647.42	c 1645s |      14 |   575083 |    61252 |   104282      0 |      191 |      189
1650.28/1650.65	c 1649s |      14 |   578767 |    61352 |   104282      0 |      191 |      189
1653.17/1653.56	c 1652s |      14 |   579557 |    61452 |   104282      0 |      191 |      189
1655.87/1656.25	c 1654s |      14 |   580231 |    61652 |   104282      0 |      191 |      189
1658.17/1658.56	c 1657s |      14 |   581800 |    61852 |   104282      0 |      191 |      189
1661.78/1662.18	c 1660s |      14 |   582626 |    62052 |   104282      0 |      191 |      189
1664.77/1665.14	c 1663s |      14 |   583545 |    62152 |   104282      0 |      191 |      189
1667.07/1667.47	c 1665s |      14 |   584536 |    62252 |   104282      0 |      191 |      189
1670.68/1671.06	c 1669s |      14 |   586167 |    62452 |   104282      0 |      191 |      189
1674.07/1674.40	c 1672s |      14 |   588560 |    62652 |   104282      0 |      191 |      189
1676.57/1676.98	c 1675s |      14 |   589507 |    62852 |   104282      0 |      191 |      189
1679.48/1679.86	c 1678s |      14 |   590059 |    63052 |   104282      0 |      191 |      189
1683.57/1683.97	c 1682s |      14 |   590865 |    63252 |   104282      0 |      191 |      189
1687.18/1687.56	c 1686s |      14 |   592699 |    63452 |   104282      0 |      191 |      189
1691.48/1691.82	c 1690s |      14 |   596842 |    63652 |   104282      0 |      191 |      189
1693.47/1693.85	c 1692s |      14 |   598338 |    63752 |   104282      0 |      191 |      189
1699.47/1699.84	c 1698s |      14 |   599711 |    63952 |   104282      0 |      191 |      189
1705.17/1705.51	c 1703s |      14 |   599921 |    64052 |   104282      0 |      191 |      189
1710.37/1710.74	c 1709s |      14 |   600181 |    64152 |   104282      0 |      191 |      189
1715.67/1716.02	c 1714s |      14 |   600453 |    64252 |   104282      0 |      191 |      189
1720.96/1721.39	c 1719s |      14 |   600611 |    64352 |   104282      0 |      191 |      189
1725.67/1726.03	c 1724s |      14 |   601825 |    64452 |   104282      0 |      191 |      189
1731.26/1731.65	c 1730s |      14 |   603240 |    64552 |   104282      0 |      191 |      189
1734.76/1735.17	c 1733s |      14 |   603746 |    64652 |   104282      0 |      191 |      189
1741.46/1741.83	c 1740s |      14 |   604168 |    64752 |   104282      0 |      191 |      189
1746.66/1747.02	c 1745s |      14 |   604965 |    64852 |   104282      0 |      191 |      189
1752.46/1752.88	c 1751s |      14 |   605157 |    64952 |   104282      0 |      191 |      189
1759.56/1759.96	c 1758s |      14 |   605654 |    65052 |   104282      0 |      191 |      189
1767.26/1767.64	c 1766s |      14 |   606036 |    65152 |   104282      0 |      191 |      189
1774.46/1774.82	c 1773s |      14 |   606551 |    65252 |   104282      0 |      191 |      189
1780.66/1781.02	c 1779s |      14 |   606716 |    65352 |   104282      0 |      191 |      189
1788.15/1788.50	c 1786s |      14 |   607006 |    65452 |   104282      0 |      191 |      189
1794.65/1795.09	c 1793s |      14 |   607818 |    65552 |   104282      0 |      191 |      189

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.25 2.19 4/179 13851
/proc/meminfo: memFree=29406024/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=700860 CPUtime=0 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 2612 0 0 0 0 0 0 0 20 0 4 0 110897566 717680640 2972 33554432000 4194304 16246674 140733912062544 140733912061800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 175983 2981 441 2943 0 172877 0
[pid=13851/tid=13852] ppid=13848 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 736555008 3043 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 740749312 3059 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 745992192 3077 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.25 2.25 2.19 4/179 13851
/proc/meminfo: memFree=29406024/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 27370 0 0 0 5 4 0 0 20 0 4 0 110897566 1333334016 27669 33554432000 4194304 16246674 140733912062544 140733912061856 7853005 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 325521 27683 799 2943 0 322415 0
[pid=13851/tid=13852] ppid=13848 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1333334016 27693 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1333334016 27705 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1333334016 27717 33554432000 4194304 16246674 140733912062544 139659518667952 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.200468 s]
/proc/loadavg: 2.25 2.25 2.19 4/179 13851
/proc/meminfo: memFree=29406024/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 43212 0 0 0 13 6 0 0 20 0 4 0 110897566 1344868352 44021 33554432000 4194304 16246674 140733912062544 140733912061856 7889660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328337 44021 800 2943 0 325231 0
[pid=13851/tid=13852] ppid=13848 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1344868352 44021 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1344868352 44021 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1344868352 44021 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300449 s]
/proc/loadavg: 2.25 2.25 2.19 4/179 13851
/proc/meminfo: memFree=29406024/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 58853 0 0 0 20 9 0 0 20 0 4 0 110897566 1344868352 59662 33554432000 4194304 16246674 140733912062544 140733912061856 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328337 59662 800 2943 0 325231 0
[pid=13851/tid=13852] ppid=13848 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1344868352 59662 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1344868352 59662 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1344868352 59662 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700354 s]
/proc/loadavg: 2.25 2.25 2.19 4/179 13851
/proc/meminfo: memFree=29406024/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=0.69 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 85595 0 0 0 56 13 0 0 20 0 4 0 110897566 1346965504 86404 33554432000 4194304 16246674 140733912062544 140733912061856 13956064 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 86413 834 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 86418 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 86423 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 86428 33554432000 4194304 16246674 140733912062544 139659518667952 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) 1315396

[startup+1.50036 s]
/proc/loadavg: 2.31 2.26 2.19 4/183 13855
/proc/meminfo: memFree=28754028/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 216657 0 0 0 116 33 0 0 20 0 4 0 110897566 1346965504 217466 33554432000 4194304 16246674 140733912062544 140733912061856 4224688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 217466 840 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 217466 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 217466 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 217466 33554432000 4194304 16246674 140733912062544 139659518667952 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) 1315396

[startup+3.10034 s]
/proc/loadavg: 2.31 2.26 2.19 4/183 13855
/proc/meminfo: memFree=28537028/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=3.09 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 216712 0 0 0 276 33 0 0 20 0 4 0 110897566 1346965504 217521 33554432000 4194304 16246674 140733912062544 140733912044416 5711680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 217521 895 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 217521 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 217521 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 217521 33554432000 4194304 16246674 140733912062544 139659518667952 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) 1315396

[startup+6.30034 s]
/proc/loadavg: 2.31 2.26 2.19 4/183 13855
/proc/meminfo: memFree=28324904/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=6.29 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269530 0 0 0 589 40 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 140733912044416 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270339 895 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 13855
/proc/meminfo: memFree=28308836/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=12.69 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269530 0 0 0 1229 40 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 140733912044416 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270339 895 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270339 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5004 s]
/proc/loadavg: 2.29 2.26 2.19 3/183 13855
/proc/meminfo: memFree=28292900/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269532 0 0 0 2508 40 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 140733912044416 5829240 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270341 897 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 139659518667952 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) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 13855
/proc/meminfo: memFree=28244036/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=51.09 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269532 0 0 0 5068 41 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 140733912044416 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270341 897 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270341 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 13856
/proc/meminfo: memFree=28162812/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=102.29 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269537 0 0 0 10188 41 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1315396


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

/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.22 2.23 2.21 3/183 13957
/proc/meminfo: memFree=28379116/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1302.03 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 130161 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.25 2.23 2.20 3/183 13958
/proc/meminfo: memFree=28321708/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1362.02 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 136160 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 13774460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.32 2.25 2.21 4/183 13959
/proc/meminfo: memFree=28224192/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1422.02 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 142160 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 12478180 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.21 2.23 2.20 4/183 13960
/proc/meminfo: memFree=28126560/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1482 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 148158 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 12483204 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.34 2.26 2.21 3/182 13962
/proc/meminfo: memFree=28067580/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1542 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 154158 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 5717462 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.22 2.24 2.20 3/184 13967
/proc/meminfo: memFree=28065708/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1601.98 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 160156 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 12483337 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.21 2.24 2.20 3/183 13968
/proc/meminfo: memFree=28065268/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1661.97 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 166155 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 12483366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.20 3/183 13969
/proc/meminfo: memFree=28064116/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1721.96 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 172154 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.26 2.24 2.20 3/183 13970
/proc/meminfo: memFree=28063440/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1781.95 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 178153 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 5546868 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.24 2.20 4/183 13972
/proc/meminfo: memFree=28063272/32872528 swapFree=15272/1656604
[pid=13851] ppid=13848 vsize=1315396 CPUtime=1800.05 cores=0,2,4,6
/proc/13851/stat : 13851 (toysat) R 13848 13851 9894 0 -1 4202496 269657 0 0 0 179963 42 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 140733912044416 5721768 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13851/statm: 328849 270346 901 2943 0 325743 0
[pid=13851/tid=13852] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13852/stat : 13852 (toysat) S 13848 13851 9894 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659616169200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13851/tid=13853] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13853/stat : 13853 (toysat) S 13848 13851 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659605679344 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=13851/tid=13854] ppid=13848 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/13851/task/13854/stat : 13854 (toysat) S 13848 13851 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110897566 1346965504 270346 33554432000 4194304 16246674 140733912062544 139659518667952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1315396

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 13851 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.64
CPU system time (s): 0.428934
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.428934
maximum resident set size= 1081384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269657
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= 139
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.49332 second user time and 6.98894 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 10:54:02
IDJOB=4080043
IDBENCH=90530
IDSOLVER=2542
FILE ID=node136/4080043-1465289642
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_20null0mast_rapportOE2.0_TMAX300_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080043-1465289642/watcher-4080043-1465289642 -o /tmp/evaluation-result-4080043-1465289642/solver-4080043-1465289642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080043-1465289642.opb

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

MD5SUM BENCH= ba6df77caf05680eb2c10dacd1851609
RANDOM SEED=239213090

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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:        29406940 kB
Buffers:           57900 kB
Cached:           158664 kB
SwapCached:          768 kB
Active:           937940 kB
Inactive:         136384 kB
Active(anon):     856828 kB
Inactive(anon):     3536 kB
Active(file):      81112 kB
Inactive(file):   132848 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             18700 kB
Writeback:             0 kB
AnonPages:       2589876 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             598716 kB
SReclaimable:      42728 kB
SUnreclaim:       555988 kB
KernelStack:        1520 kB
PageTables:         9508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2906844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1812480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node136 at 2016-06-07 11:24:03