Trace number 4108960

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.14 1800.46

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-162.opb
MD5SUM7794df8d293fccdb0879a56da38b7284
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark46.6849
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables26339
Total number of constraints612374
Number of constraints which are clauses549666
Number of constraints which are cardinality constraints (but not clauses)2270
Number of constraints which are nor clauses,nor cardinality constraints60438
Minimum length of a constraint1
Maximum length of a constraint1485
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1486
Number of bits of the biggest sum of numbers11
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-19T01:34:14+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-4108960-1466292853.opb"]
0.00/0.01	c use --random-gen="675711571 1961894489 2869500873 2679199362 878126786 3811565018 4060466845 1131097951 1521034105 3267200875 1555319866 3775318070 2889844679 2848976501 3879558584 2745868033 4030133522 2270219354 1656706488 2032880985 162296383 930443643 4016018736 113509619 1702588593 3428554479 1952246055 1204688521 2789583057 3305465762 2343180774 4091989601 3187401466 1680976820 1046102792 1607590177 3308982944 2061961455 4189974411 3368603884 2228044157 3363328763 645410230 904145800 1590537511 1067252296 467611575 2630629585 1087456312 2771955775 1340282183 2214385074 2848608949 3838639477 746919616 4292974102 3041657456 3771644333 501450565 3319744698 967103783 579651386 3015403675 503312322 763805934 1121046497 374935652 1207006473 1564569212 963311579 2709106737 3288271591 2249948185 2428255044 2539939601 3163905943 84188142 4201969757 4024388961 101426648 1001580686 2627674528 4072698144 853165010 2129487609 502912779 2589838616 126950482 133978848 2147192598 3062515747 385996075 2138314171 2670279248 2495503981 2226420636 2530821583 2644807797 3629533125 3001545515 45834955 547363483 2789151769 3490682746 3848450067 916021814 1786348962 3473045071 1646150007 1753208897 2231003291 153826604 2152275781 3670498945 3634135729 3608259194 3185472578 3912112165 2562530671 11258674 3076134852 3382565905 1827253812 2179475759 3437831748 3032244349 435718849 3757675659 1001372519 4278487745 1886837273 4260990400 1785382290 3452157556 3109573159 3699180071 2780159074 3056106447 1760924040 1046960423 234227179 3589949486 38354599 1548311447 958637770 3018201459 361875518 2452327734 3254304056 615839020 477798439 2598431499 3395522311 654440764 2861281760 2152613801 4022216036 2743071357 3857952668 3216752708 1594393286 3467779507 1282552624 3498354724 1230162082 1722674535 4157464071 1724699185 699354127 1662258518 1238609625 3341315401 3931644425 808719582 2334795900 382139280 286007630 472785170 861099363 618606551 1740705154 1937512863 3139401565 1058033913 3449993510 2177459855 224923488 446796754 1692186172 3183176801 2923893760 3640394382 992801765 2711424798 499989220 1928295312 4069245313 2760182112 1993709500 1147040103 35871472 1296963233 953494691 2531210892 188993683 1185528361 1257329158 3728549768 4240626651 1918548891 1684324596 3221010589 1939730236 1657888768 188475358 3664030033 757909409 2656658115 172095002 124289301 3917732474 1608954377 1175380932 3446013661 2735492222 563254038 84841466 1385985620 1881140405 3555196394 2299983342 2392285057 2668842237 3917452456 1486915050 2257610722 2431468414 1052962119 4142340801 3167644262 3702592744 1770262029 603297093 2154836897 1692319147 1821635385 345334690 328264166 2099356612 212650983 2300579319 3172208734 524805916 335307510 2624066337 2447244400 255 362436" option to reproduce the execution
5.50/5.60	c #vars 26339
5.50/5.60	c #constraints 612374
15.49/15.57	c Solving starts ...
15.49/15.57	c ============================[ Search Statistics ]============================
15.49/15.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.49/15.57	c       |         |          |          |    Limit     GC | Var      | Constra 
15.49/15.57	c =============================================================================
15.49/15.58	c  0.0s |       0 |        0 |        0 |   168565      0 |     8416 |        0
22.98/23.04	c  7.5s |       0 |    15207 |      100 |   168565      0 |     8425 |    97374
22.98/23.08	c  7.5s |       1 |    15207 |      100 |   168565      0 |     8425 |    97374
38.27/38.31	c 22.7s |       1 |    70263 |      200 |   185422      0 |     8442 |    97933
41.88/41.93	c 26.4s |       2 |   117906 |      250 |   185422      0 |     8445 |    97975
49.06/49.13	c 33.6s |       2 |   154172 |      350 |   203965      0 |     8465 |    98440
54.86/54.99	c 39.4s |       2 |   179487 |      450 |   203965      0 |     8481 |    98661
56.46/56.55	c 41.0s |       3 |   193133 |      475 |   203965      0 |     8484 |    98703
59.26/59.40	c 43.8s |       3 |   242820 |      575 |   224362      0 |     8484 |    98703
63.06/63.13	c 47.6s |       3 |   288268 |      675 |   224362      0 |     8487 |    98740
66.26/66.38	c 50.8s |       3 |   317158 |      775 |   224362      0 |     8490 |    98782
68.96/69.09	c 53.5s |       4 |   329631 |      813 |   224362      0 |     8493 |    98824
79.45/79.58	c 64.0s |       4 |   385514 |      913 |   246799      0 |     8502 |    99150
84.76/84.81	c 69.2s |       4 |   412438 |     1013 |   246799      0 |     8520 |    99706
89.74/89.88	c 74.3s |       4 |   437179 |     1113 |   246799      0 |     8535 |    99916
94.24/94.32	c 78.7s |       4 |   466906 |     1213 |   246799      0 |     8547 |   100244
97.85/97.96	c 82.4s |       4 |   485620 |     1313 |   246799      0 |     8556 |   100527
98.34/98.47	c 82.9s |       5 |   486759 |     1320 |   246799      0 |     8558 |   100555
100.74/100.89	c 85.3s |       5 |   545324 |     1420 |   271479      0 |     8558 |   100555
104.24/104.37	c 88.8s |       5 |   574660 |     1520 |   271479      0 |     8562 |   100714
107.44/107.57	c 92.0s |       5 |   599734 |     1620 |   271479      0 |     8565 |   100756
109.84/109.94	c 94.4s |       5 |   649143 |     1720 |   271479      0 |     8569 |   100848
112.84/112.91	c 97.3s |       5 |   693709 |     1820 |   271479      0 |     8575 |   101042
115.94/116.08	c  100s |       5 |   774060 |     1920 |   271479      0 |     8584 |   101408
119.44/119.51	c  103s |       5 |   804098 |     2020 |   271479      0 |     8591 |   101505
120.74/120.87	c  105s |       6 |   834863 |     2081 |   298627      0 |     8592 |   101519
124.04/124.10	c  108s |       6 |   876032 |     2181 |   298627      0 |     8599 |   101757
126.14/126.23	c  110s |       6 |   922592 |     2281 |   298627      0 |     8602 |   101799
130.04/130.10	c  114s |       6 |   977933 |     2481 |   298627      0 |     8605 |   101842
132.73/132.87	c  117s |       6 |  1054127 |     2681 |   298627      0 |     8608 |   101887
135.34/135.43	c  119s |       6 |  1077143 |     2781 |   298627      0 |     8612 |   101947
137.93/138.07	c  122s |       6 |  1147776 |     2981 |   298627      0 |     8615 |   101991
140.04/140.17	c  124s |       6 |  1192917 |     3181 |   298627      0 |     8615 |   101991
140.34/140.41	c  124s |       7 |  1199123 |     3223 |   328490      0 |     8615 |   101991
143.24/143.37	c  127s |       7 |  1253169 |     3623 |   328490      0 |     8618 |   102039
146.94/147.02	c  131s |       7 |  1301100 |     3723 |   328490      0 |     8623 |   102112
151.04/151.18	c  135s |       7 |  1398485 |     3923 |   328490      0 |     8625 |   102134
156.64/156.80	c  141s |       7 |  1443219 |     4023 |   328490      0 |     8630 |   102204
161.34/161.46	c  145s |       7 |  1494003 |     4123 |   328490      0 |     8633 |   102606
164.84/164.91	c  149s |       7 |  1511517 |     4223 |   328490      0 |     8639 |   102846
168.14/168.20	c  152s |       7 |  1549299 |     4323 |   328490      0 |     8639 |   102846
171.54/171.64	c  156s |       7 |  1602868 |     4423 |   328490      0 |     8639 |   102846
177.04/177.18	c  161s |       7 |  1694401 |     4623 |   328490      0 |     8641 |   103066
179.44/179.55	c  163s |       7 |  1752498 |     4723 |   328490      0 |     8642 |   103236
185.04/185.18	c  169s |       7 |  1781858 |     4823 |   328490      0 |     8649 |   103334
187.74/187.89	c  172s |       7 |  1802248 |     4923 |   361340      0 |     8653 |   103391
187.94/188.03	c  172s |       8 |  1807123 |     4936 |   361340      0 |     8653 |   103391
190.14/190.29	c  174s |       8 |  1839898 |     5036 |   361340      0 |     8656 |   103434
193.03/193.14	c  177s |       8 |  1881287 |     5236 |   361340      0 |     8660 |   103485
198.33/198.48	c  182s |       8 |  1891229 |     5336 |   361340      0 |     8677 |   103688
201.13/201.22	c  185s |       8 |  1917015 |     5536 |   361340      0 |     8683 |   103768
204.54/204.65	c  189s |       8 |  1942163 |     5736 |   361340      0 |     8689 |   103847
207.63/207.75	c  192s |       8 |  1982352 |     5836 |   361340      0 |     8695 |   103931
210.33/210.48	c  194s |       8 |  2042942 |     6036 |   361340      0 |     8698 |   103973
213.53/213.66	c  198s |       8 |  2083098 |     6336 |   361340      0 |     8703 |   104446
220.33/220.49	c  204s |       8 |  2179030 |     6836 |   361340      0 |     8706 |   104488
230.13/230.23	c  214s |       8 |  2276033 |     6936 |   361340      0 |     8709 |   104531
240.42/240.59	c  225s |       8 |  2335839 |     7036 |   361340      0 |     8714 |   104603
249.92/250.06	c  234s |       8 |  2389756 |     7136 |   361340      0 |     8717 |   104648
255.02/255.11	c  239s |       8 |  2440360 |     7236 |   361340      0 |     8721 |   104706
258.32/258.42	c  242s |       8 |  2467762 |     7336 |   361340      0 |     8721 |   104706
262.12/262.24	c  246s |       8 |  2490171 |     7436 |   361340      0 |     8723 |   104734
263.82/263.98	c  248s |       9 |  2515635 |     7506 |   397475      0 |     8724 |   104748
267.33/267.42	c  251s |       9 |  2530294 |     7606 |   397475      0 |     8725 |   104763
273.32/273.48	c  257s |       9 |  2572690 |     7806 |   397475      0 |     8729 |   104880
276.72/276.85	c  261s |       9 |  2617454 |     8006 |   397475      0 |     8731 |   104908
279.92/280.09	c  264s |       9 |  2678766 |     8106 |   397475      0 |     8736 |   104980
284.72/284.84	c  269s |       9 |  2754513 |     8206 |   397475      0 |     8738 |   105009
287.92/288.04	c  272s |       9 |  2794089 |     8306 |   397475      0 |     8740 |   105129
290.02/290.12	c  274s |       9 |  2804956 |     8406 |   397475      0 |     8744 |   105186
293.32/293.44	c  277s |       9 |  2811374 |     8506 |   397475      0 |     8755 |   105343
295.62/295.73	c  280s |       9 |  2873139 |     8806 |   397475      0 |     8756 |   105353
298.42/298.59	c  283s |       9 |  2927067 |     8906 |   397475      0 |     8760 |   105397
303.91/304.03	c  288s |       9 |  2963232 |     9006 |   397475      0 |     8771 |   105548
307.21/307.38	c  291s |       9 |  3025529 |     9106 |   397475      0 |     8776 |   105614
309.31/309.50	c  293s |       9 |  3041686 |     9206 |   397475      0 |     8779 |   105657
312.51/312.67	c  297s |       9 |  3053914 |     9306 |   397475      0 |     8788 |   105784
314.81/314.90	c  299s |       9 |  3066256 |     9406 |   397475      0 |     8794 |   106052
319.61/319.76	c  304s |       9 |  3109894 |     9506 |   397475      0 |     8808 |   106266
323.21/323.39	c  307s |       9 |  3152475 |     9606 |   397475      0 |     8814 |   106567
332.31/332.48	c  316s |       9 |  3180781 |     9706 |   397475      0 |     8823 |   106754
335.71/335.84	c  320s |       9 |  3227157 |     9806 |   397475      0 |     8829 |   106874
340.41/340.57	c  325s |       9 |  3258702 |     9906 |   397475      0 |     8835 |   107066
343.91/344.05	c  328s |       9 |  3280428 |    10006 |   397475      0 |     8840 |   107136
346.11/346.22	c  330s |       9 |  3356195 |    10106 |   397475      0 |     8841 |   107150
349.01/349.11	c  333s |       9 |  3420481 |    10206 |   397475      0 |     8846 |   107213
352.21/352.32	c  336s |       9 |  3448596 |    10306 |   397475      0 |     8847 |   107227
354.91/355.03	c  339s |       9 |  3489919 |    10406 |   397475      0 |     8848 |   107242
357.71/357.89	c  342s |       9 |  3509504 |    10506 |   397475      0 |     8848 |   107242
360.21/360.31	c  344s |       9 |  3539480 |    10606 |   397475      0 |     8849 |   107257
366.50/366.60	c  351s |       9 |  3604170 |    10706 |   397475      0 |     8855 |   107336
370.40/370.55	c  354s |       9 |  3642425 |    10806 |   397475      0 |     8856 |   107350
375.90/376.01	c  360s |       9 |  3703883 |    10906 |   397475      0 |     8863 |   107577
378.50/378.61	c  363s |       9 |  3740556 |    11006 |   397475      0 |     8866 |   107614
384.30/384.45	c  368s |       9 |  3803733 |    11106 |   397475      0 |     8874 |   107717
391.51/391.65	c  376s |       9 |  3857407 |    11206 |   397475      0 |     8879 |   107782
394.20/394.33	c  378s |      10 |  3930899 |    11361 |   437223      0 |     8883 |   107834
397.90/398.02	c  382s |      10 |  3949549 |    11461 |   437223      0 |     8888 |   107906
401.10/401.27	c  385s |      10 |  4003015 |    11661 |   437223      0 |     8893 |   107972
403.90/404.02	c  388s |      10 |  4065723 |    11961 |   437223      0 |     8894 |   107987
407.90/408.00	c  392s |      10 |  4118936 |    12361 |   437223      0 |     8901 |   108087
410.60/410.76	c  395s |      10 |  4158498 |    12461 |   437223      0 |     8902 |   108101
413.40/413.52	c  397s |      10 |  4219588 |    12661 |   437223      0 |     8905 |   108145
418.80/418.92	c  403s |      10 |  4245208 |    12861 |   437223      0 |     8918 |   108327
425.30/425.45	c  409s |      10 |  4305643 |    12961 |   437223      0 |     8923 |   108721
429.39/429.57	c  413s |      10 |  4342380 |    13061 |   437223      0 |     8927 |   108780
434.50/434.63	c  419s |      10 |  4357115 |    13161 |   437223      0 |     8937 |   108923
437.39/437.58	c  422s |      10 |  4395722 |    13361 |   437223      0 |     8940 |   108967
440.19/440.34	c  424s |      10 |  4420626 |    13561 |   437223      0 |     8946 |   109151
443.30/443.43	c  427s |      10 |  4447338 |    13661 |   437223      0 |     8953 |   109272
445.50/445.69	c  430s |      10 |  4516193 |    13961 |   437223      0 |     8953 |   109272
448.39/448.52	c  432s |      10 |  4556641 |    14361 |   437223      0 |     8955 |   109301
450.79/450.95	c  435s |      10 |  4586529 |    14461 |   437223      0 |     8957 |   109497
453.10/453.28	c  437s |      10 |  4610013 |    14561 |   437223      0 |     8961 |   109554
458.29/458.45	c  442s |      10 |  4663829 |    14661 |   437223      0 |     8967 |   109633
461.29/461.40	c  445s |      10 |  4713097 |    14861 |   437223      0 |     8971 |   109902
468.89/469.04	c  453s |      10 |  4793202 |    15061 |   437223      0 |     8978 |   110000
478.99/479.10	c  463s |      10 |  4862362 |    15161 |   437223      0 |     8980 |   110028
485.28/485.41	c  469s |      10 |  4904654 |    15261 |   437223      0 |     8984 |   110080
488.18/488.33	c  472s |      10 |  4916687 |    15361 |   437223      0 |     8986 |   110104
490.38/490.52	c  474s |      10 |  4936925 |    15561 |   437223      0 |     8987 |   110118
493.68/493.87	c  478s |      10 |  4996844 |    15761 |   437223      0 |     8989 |   110146
496.88/497.02	c  481s |      10 |  5018817 |    15861 |   437223      0 |     8992 |   110188
504.18/504.32	c  488s |      10 |  5068916 |    15961 |   437223      0 |     9002 |   110430
507.58/507.70	c  492s |      10 |  5113832 |    16161 |   437223      0 |     9003 |   110444
509.78/509.93	c  494s |      10 |  5175904 |    16461 |   437223      0 |     9003 |   110444
514.79/514.96	c  499s |      10 |  5204923 |    16661 |   437223      0 |     9014 |   110598
518.98/519.15	c  503s |      10 |  5226632 |    16861 |   437223      0 |     9018 |   110760
521.88/522.07	c  506s |      10 |  5247171 |    16961 |   437223      0 |     9020 |   110790
523.58/523.71	c  508s |      11 |  5257590 |    17144 |   480946      0 |     9020 |   110790
527.18/527.39	c  511s |      11 |  5270156 |    17244 |   480946      0 |     9026 |   110876
530.38/530.54	c  514s |      11 |  5291978 |    17344 |   480946      0 |     9032 |   111027
533.18/533.31	c  517s |      11 |  5303792 |    17444 |   480946      0 |     9038 |   111112
535.97/536.17	c  520s |      11 |  5337979 |    17844 |   480946      0 |     9040 |   111140
540.47/540.69	c  525s |      11 |  5368325 |    17944 |   480946      0 |     9049 |   111470
543.87/544.09	c  528s |      11 |  5390130 |    18044 |   480946      0 |     9056 |   111559
552.47/552.66	c  537s |      11 |  5427291 |    18144 |   480946      0 |     9067 |   111849
560.17/560.37	c  544s |      11 |  5477196 |    18244 |   480946      0 |     9071 |   111906
565.77/565.93	c  550s |      11 |  5524599 |    18344 |   480946      0 |     9081 |   112361
568.48/568.61	c  553s |      11 |  5541301 |    18444 |   480946      0 |     9083 |   112390
570.98/571.18	c  555s |      11 |  5564893 |    18644 |   480946      0 |     9086 |   112432
573.28/573.43	c  557s |      11 |  5595129 |    18944 |   480946      0 |     9087 |   112446
575.28/575.47	c  559s |      11 |  5615058 |    19144 |   480946      0 |     9088 |   112460
582.18/582.33	c  566s |      11 |  5665797 |    19344 |   480946      0 |     9097 |   112582
587.38/587.54	c  571s |      11 |  5753641 |    19444 |   480946      0 |     9101 |   112636
591.07/591.27	c  575s |      11 |  5792044 |    19544 |   480946      0 |     9108 |   112728
595.87/596.05	c  580s |      11 |  5815662 |    19644 |   480946      0 |     9114 |   112813
601.07/601.24	c  585s |      11 |  5857839 |    19844 |   480946      0 |     9118 |   112871
605.47/605.68	c  590s |      11 |  5907228 |    20044 |   480946      0 |     9124 |   113143
607.67/607.87	c  592s |      11 |  5942075 |    20144 |   480946      0 |     9127 |   113181
612.37/612.54	c  596s |      11 |  5963418 |    20244 |   480946      0 |     9136 |   113353
617.47/617.61	c  602s |      11 |  6006886 |    20344 |   480946      0 |     9144 |   113462
620.07/620.28	c  604s |      11 |  6048356 |    20544 |   480946      0 |     9148 |   113520
622.27/622.43	c  606s |      11 |  6076616 |    20844 |   480946      0 |     9152 |   113576
628.67/628.84	c  613s |      11 |  6128205 |    20944 |   480946      0 |     9162 |   113706
636.87/637.03	c  621s |      11 |  6196955 |    21044 |   480946      0 |     9167 |   113992
639.87/640.01	c  624s |      11 |  6219149 |    21244 |   480946      0 |     9171 |   114050
642.87/643.09	c  627s |      11 |  6239759 |    21444 |   480946      0 |     9176 |   114120
645.46/645.60	c  630s |      11 |  6275794 |    21544 |   480946      0 |     9179 |   114164
648.76/648.92	c  633s |      11 |  6299440 |    21644 |   480946      0 |     9181 |   114194
656.36/656.59	c  641s |      11 |  6351681 |    21844 |   480946      0 |     9190 |   114303
659.46/659.60	c  644s |      11 |  6378403 |    21944 |   480946      0 |     9197 |   114405
662.26/662.42	c  646s |      11 |  6393880 |    22044 |   480946      0 |     9201 |   114722
667.46/667.60	c  652s |      11 |  6410439 |    22144 |   480946      0 |     9208 |   114801
672.96/673.19	c  657s |      11 |  6465337 |    22444 |   480946      0 |     9210 |   114829
676.56/676.72	c  661s |      11 |  6497164 |    22544 |   480946      0 |     9216 |   115065
683.96/684.19	c  668s |      11 |  6544772 |    22644 |   480946      0 |     9235 |   115444
687.06/687.27	c  671s |      11 |  6565494 |    22744 |   480946      0 |     9236 |   115458
689.16/689.39	c  673s |      11 |  6597400 |    22844 |   480946      0 |     9238 |   115486
693.26/693.46	c  677s |      11 |  6659317 |    23044 |   480946      0 |     9243 |   115904
695.26/695.47	c  679s |      11 |  6694589 |    23144 |   480946      0 |     9246 |   115946
697.66/697.85	c  682s |      11 |  6718266 |    23244 |   480946      0 |     9250 |   116124
700.05/700.22	c  684s |      11 |  6740166 |    23444 |   480946      0 |     9253 |   116167
703.25/703.42	c  687s |      11 |  6757766 |    23544 |   480946      0 |     9258 |   116241
711.45/711.60	c  696s |      11 |  6801288 |    23744 |   480946      0 |     9271 |   116581
716.85/717.05	c  701s |      11 |  6862449 |    23844 |   480946      0 |     9277 |   116801
721.05/721.30	c  705s |      11 |  6907055 |    23944 |   480946      0 |     9285 |   117020
725.15/725.38	c  709s |      11 |  6957080 |    24044 |   480946      0 |     9289 |   117076
729.65/729.85	c  714s |      11 |  6980214 |    24144 |   480946      0 |     9296 |   117174
732.95/733.18	c  717s |      11 |  7023705 |    24244 |   480946      0 |     9303 |   117375
736.25/736.46	c  720s |      11 |  7095122 |    24444 |   480946      0 |     9308 |   117490
740.16/740.38	c  724s |      11 |  7117949 |    24544 |   480946      0 |     9314 |   117617
745.45/745.64	c  730s |      11 |  7177464 |    24644 |   480946      0 |     9326 |   117979
750.95/751.11	c  735s |      11 |  7216360 |    24744 |   480946      0 |     9336 |   118119
756.25/756.42	c  740s |      11 |  7249597 |    24844 |   480946      0 |     9345 |   118245
759.15/759.32	c  743s |      11 |  7277269 |    24944 |   480946      0 |     9346 |   118259
762.15/762.38	c  746s |      11 |  7301086 |    25044 |   480946      0 |     9350 |   118311
766.04/766.24	c  750s |      11 |  7339398 |    25144 |   480946      0 |     9353 |   118351
768.64/768.83	c  753s |      11 |  7358567 |    25244 |   480946      0 |     9357 |   118409
774.35/774.53	c  758s |      11 |  7380878 |    25344 |   480946      0 |     9359 |   118437
779.75/779.96	c  764s |      11 |  7442410 |    25544 |   480946      0 |     9369 |   118578
784.15/784.36	c  768s |      11 |  7521751 |    25744 |   529041      0 |     9375 |   118662
784.74/784.96	c  769s |      12 |  7560873 |    25819 |   529041      0 |     9375 |   118662
786.84/787.03	c  771s |      12 |  7600682 |    25919 |   529041      0 |     9378 |   118704
789.34/789.50	c  773s |      12 |  7651127 |    26119 |   529041      0 |     9379 |   118718
791.54/791.71	c  776s |      12 |  7694720 |    26319 |   529041      0 |     9380 |   118732
794.54/794.71	c  779s |      12 |  7745872 |    26519 |   529041      0 |     9381 |   118746
801.94/802.16	c  786s |      12 |  7808211 |    26619 |   529041      0 |     9390 |   118873
804.24/804.41	c  788s |      12 |  7837572 |    26719 |   529041      0 |     9392 |   118901
806.44/806.67	c  791s |      12 |  7887428 |    26919 |   529041      0 |     9393 |   118915
809.64/809.82	c  794s |      12 |  7909652 |    27119 |   529041      0 |     9394 |   118929
814.34/814.55	c  798s |      12 |  7927527 |    27219 |   529041      0 |     9401 |   119022
818.34/818.54	c  802s |      12 |  7958645 |    27519 |   529041      0 |     9405 |   119073
820.54/820.79	c  805s |      12 |  7965182 |    27619 |   529041      0 |     9408 |   119115
822.93/823.19	c  807s |      12 |  7975466 |    27719 |   529041      0 |     9409 |   119131
827.83/828.08	c  812s |      12 |  8045757 |    27919 |   529041      0 |     9415 |   119217
830.53/830.78	c  815s |      12 |  8071040 |    28219 |   529041      0 |     9416 |   119232
835.73/835.99	c  820s |      12 |  8109759 |    28319 |   529041      0 |     9422 |   119309
839.73/839.92	c  824s |      12 |  8127252 |    28419 |   529041      0 |     9424 |   119333
845.53/845.74	c  830s |      12 |  8159217 |    28519 |   529041      0 |     9426 |   119356
848.13/848.31	c  832s |      12 |  8227959 |    28719 |   529041      0 |     9426 |   119356
851.63/851.88	c  836s |      12 |  8269859 |    28919 |   529041      0 |     9427 |   119370
854.33/854.56	c  838s |      12 |  8295062 |    29119 |   529041      0 |     9431 |   119416
859.83/860.08	c  844s |      12 |  8325821 |    29419 |   529041      0 |     9435 |   119565
863.13/863.34	c  847s |      12 |  8344239 |    29519 |   529041      0 |     9441 |   119782
865.73/865.98	c  850s |      12 |  8359236 |    29619 |   529041      0 |     9442 |   119796
870.13/870.37	c  854s |      12 |  8370399 |    29719 |   529041      0 |     9446 |   119855
873.03/873.22	c  857s |      12 |  8395947 |    29819 |   529041      0 |     9447 |   119869
876.63/876.85	c  861s |      12 |  8410452 |    29919 |   529041      0 |     9449 |   119897
882.32/882.53	c  866s |      12 |  8471318 |    30119 |   529041      0 |     9450 |   119907
888.52/888.79	c  873s |      12 |  8525105 |    30319 |   529041      0 |     9458 |   120017
890.62/890.81	c  875s |      12 |  8548712 |    30419 |   529041      0 |     9459 |   120031
893.03/893.26	c  877s |      12 |  8573699 |    30619 |   529041      0 |     9459 |   120031
899.32/899.53	c  883s |      12 |  8627565 |    30819 |   529041      0 |     9467 |   120125
903.03/903.23	c  887s |      12 |  8715552 |    31119 |   529041      0 |     9469 |   120249
907.82/908.01	c  892s |      12 |  8747477 |    31319 |   529041      0 |     9475 |   120333
909.82/910.06	c  894s |      12 |  8772734 |    31619 |   529041      0 |     9475 |   120333
912.32/912.59	c  897s |      12 |  8809055 |    31719 |   529041      0 |     9476 |   120342
914.82/915.06	c  899s |      12 |  8830520 |    31919 |   529041      0 |     9478 |   120366
919.92/920.14	c  904s |      12 |  8898683 |    32119 |   529041      0 |     9482 |   120417
922.02/922.25	c  906s |      12 |  8922921 |    32219 |   529041      0 |     9486 |   120473
925.72/925.91	c  910s |      12 |  8944005 |    32319 |   529041      0 |     9493 |   120587
928.52/928.75	c  913s |      12 |  8971084 |    32419 |   529041      0 |     9495 |   120615
932.21/932.44	c  916s |      12 |  8987234 |    32519 |   529041      0 |     9498 |   120658
936.71/936.93	c  921s |      12 |  9022909 |    32619 |   529041      0 |     9502 |   120714
939.11/939.38	c  923s |      12 |  9045005 |    32719 |   529041      0 |     9505 |   120751
941.31/941.52	c  925s |      12 |  9064291 |    32919 |   529041      0 |     9506 |   120765
946.51/946.78	c  931s |      12 |  9090976 |    33219 |   529041      0 |     9511 |   120844
949.51/949.79	c  934s |      12 |  9137378 |    33319 |   529041      0 |     9514 |   121006
953.01/953.22	c  937s |      12 |  9162211 |    33419 |   529041      0 |     9518 |   121062
956.61/956.81	c  941s |      12 |  9187085 |    33619 |   529041      0 |     9522 |   121119
960.81/961.05	c  945s |      12 |  9225235 |    33819 |   529041      0 |     9528 |   121195
963.52/963.73	c  948s |      12 |  9272857 |    33919 |   529041      0 |     9530 |   121423
965.91/966.10	c  950s |      12 |  9300080 |    34019 |   529041      0 |     9532 |   121451
969.51/969.71	c  954s |      12 |  9326945 |    34119 |   529041      0 |     9535 |   121493
971.61/971.87	c  956s |      12 |  9341641 |    34219 |   529041      0 |     9537 |   121521
974.91/975.18	c  959s |      12 |  9365639 |    34519 |   529041      0 |     9540 |   121558
986.61/986.88	c  971s |      12 |  9531817 |    34719 |   529041      0 |     9548 |   121657
990.11/990.31	c  974s |      12 |  9578802 |    34819 |   529041      0 |     9553 |   121724
993.51/993.75	c  978s |      12 |  9632907 |    35019 |   529041      0 |     9555 |   121752
996.30/996.55	c  980s |      12 |  9706587 |    35219 |   529041      0 |     9555 |   121752
999.40/999.63	c  984s |      12 |  9732813 |    35319 |   529041      0 |     9557 |   121840
1008.20/1008.44	c  992s |      12 |  9782472 |    35419 |   529041      0 |     9560 |   122069
1011.20/1011.42	c  995s |      12 |  9809439 |    35519 |   529041      0 |     9564 |   122125
1015.21/1015.49	c  999s |      12 |  9838019 |    35619 |   529041      0 |     9569 |   122196
1018.10/1018.34	c 1002s |      12 |  9876317 |    35819 |   529041      0 |     9569 |   122196
1021.30/1021.59	c 1006s |      12 |  9921798 |    36019 |   529041      0 |     9572 |   122234
1023.50/1023.79	c 1008s |      12 |  9948979 |    36319 |   529041      0 |     9573 |   122244
1028.50/1028.73	c 1013s |      12 |  9989869 |    36519 |   529041      0 |     9577 |   122302
1032.10/1032.35	c 1016s |      12 | 10033654 |    36619 |   529041      0 |     9580 |   122608
1036.90/1037.12	c 1021s |      12 | 10053193 |    36719 |   529041      0 |     9586 |   122683
1041.00/1041.23	c 1025s |      12 | 10110204 |    36819 |   529041      0 |     9590 |   122732
1044.60/1044.89	c 1029s |      12 | 10154141 |    36919 |   529041      0 |     9594 |   122970
1049.20/1049.50	c 1033s |      12 | 10186371 |    37019 |   529041      0 |     9599 |   123035
1054.30/1054.58	c 1039s |      12 | 10205656 |    37119 |   529041      0 |     9606 |   123138
1056.70/1056.98	c 1041s |      12 | 10243899 |    37219 |   529041      0 |     9608 |   123163
1059.20/1059.45	c 1043s |      12 | 10288649 |    37319 |   529041      0 |     9610 |   123182
1061.79/1062.02	c 1046s |      12 | 10304778 |    37419 |   529041      0 |     9612 |   123206
1064.29/1064.59	c 1049s |      12 | 10347025 |    37519 |   529041      0 |     9614 |   123439
1072.30/1072.58	c 1057s |      12 | 10445448 |    37719 |   529041      0 |     9625 |   123834
1075.70/1075.97	c 1060s |      12 | 10488272 |    37919 |   529041      0 |     9627 |   123857
1078.69/1078.95	c 1063s |      12 | 10500136 |    38019 |   529041      0 |     9629 |   123983
1080.79/1081.07	c 1065s |      12 | 10533977 |    38119 |   529041      0 |     9630 |   123997
1084.59/1084.82	c 1069s |      12 | 10594326 |    38219 |   529041      0 |     9634 |   124048
1087.19/1087.44	c 1071s |      12 | 10618031 |    38319 |   529041      0 |     9637 |   124087
1089.59/1089.86	c 1074s |      12 | 10643125 |    38519 |   529041      0 |     9637 |   124087
1092.79/1093.03	c 1077s |      12 | 10688532 |    38719 |   581946      0 |     9638 |   124101
1093.99/1094.29	c 1078s |      13 | 10711452 |    38832 |   581946      0 |     9638 |   124101
1096.99/1097.27	c 1081s |      13 | 10740169 |    39032 |   581946      0 |     9638 |   124101
1099.09/1099.39	c 1083s |      13 | 10765505 |    39232 |   581946      0 |     9638 |   124101
1101.89/1102.12	c 1086s |      13 | 10809004 |    39332 |   581946      0 |     9640 |   124125
1104.09/1104.33	c 1088s |      13 | 10846162 |    39432 |   581946      0 |     9643 |   124168
1106.29/1106.59	c 1091s |      13 | 10852791 |    39532 |   581946      0 |     9647 |   124220
1109.19/1109.46	c 1093s |      13 | 10869398 |    39832 |   581946      0 |     9649 |   124249
1112.19/1112.43	c 1096s |      13 | 10906172 |    40132 |   581946      0 |     9651 |   124278
1115.09/1115.39	c 1099s |      13 | 10927757 |    40332 |   581946      0 |     9652 |   124292
1118.19/1118.49	c 1102s |      13 | 10960905 |    40432 |   581946      0 |     9655 |   124332
1121.29/1121.58	c 1106s |      13 | 10981758 |    40632 |   581946      0 |     9657 |   124429
1123.79/1124.01	c 1108s |      13 | 10994825 |    40832 |   581946      0 |     9657 |   124429
1127.29/1127.53	c 1111s |      13 | 11017890 |    40932 |   581946      0 |     9662 |   124554
1135.98/1136.20	c 1120s |      13 | 11033136 |    41032 |   581946      0 |     9678 |   124757
1139.78/1140.07	c 1124s |      13 | 11048730 |    41132 |   581946      0 |     9685 |   125066
1149.98/1150.25	c 1134s |      13 | 11085493 |    41432 |   581946      0 |     9702 |   125304
1152.28/1152.53	c 1136s |      13 | 11104544 |    41532 |   581946      0 |     9705 |   125347
1157.28/1157.54	c 1141s |      13 | 11134253 |    41632 |   581946      0 |     9713 |   125457
1159.88/1160.14	c 1144s |      13 | 11153311 |    41832 |   581946      0 |     9713 |   125457
1162.38/1162.61	c 1147s |      13 | 11172529 |    42132 |   581946      0 |     9714 |   125471
1168.48/1168.79	c 1153s |      13 | 11194680 |    42432 |   581946      0 |     9721 |   125569
1170.98/1171.22	c 1155s |      13 | 11203576 |    42732 |   581946      0 |     9722 |   125579
1172.98/1173.23	c 1157s |      13 | 11207391 |    42832 |   581946      0 |     9725 |   125611
1175.68/1175.95	c 1160s |      13 | 11220321 |    43032 |   581946      0 |     9727 |   125640
1178.88/1179.14	c 1163s |      13 | 11247400 |    43132 |   581946      0 |     9732 |   125710
1181.98/1182.28	c 1166s |      13 | 11263294 |    43232 |   581946      0 |     9737 |   125780
1185.08/1185.30	c 1169s |      13 | 11295734 |    43332 |   581946      0 |     9740 |   125822
1187.58/1187.88	c 1172s |      13 | 11353723 |    43432 |   581946      0 |     9743 |   125937
1190.78/1191.05	c 1175s |      13 | 11382417 |    43532 |   581946      0 |     9745 |   125965
1197.07/1197.31	c 1181s |      13 | 11412981 |    43632 |   581946      0 |     9754 |   126091
1201.77/1202.08	c 1186s |      13 | 11432039 |    43732 |   581946      0 |     9754 |   126091
1204.97/1205.21	c 1189s |      13 | 11447277 |    43832 |   581946      0 |     9754 |   126091
1209.57/1209.88	c 1194s |      13 | 11485031 |    43932 |   581946      0 |     9758 |   126152
1212.77/1213.03	c 1197s |      13 | 11531614 |    44032 |   581946      0 |     9761 |   126195
1218.47/1218.77	c 1203s |      13 | 11549005 |    44132 |   581946      0 |     9767 |   126408
1222.57/1222.87	c 1207s |      13 | 11633460 |    44332 |   581946      0 |     9770 |   126452
1227.17/1227.42	c 1211s |      13 | 11709665 |    44532 |   581946      0 |     9776 |   126533
1232.37/1232.63	c 1217s |      13 | 11734429 |    44732 |   581946      0 |     9781 |   126600
1238.27/1238.59	c 1223s |      13 | 11757021 |    44932 |   581946      0 |     9789 |   127155
1248.97/1249.24	c 1233s |      13 | 11798211 |    45232 |   581946      0 |     9809 |   127425
1254.88/1255.15	c 1239s |      13 | 11817570 |    45532 |   581946      0 |     9817 |   127539
1257.87/1258.15	c 1242s |      13 | 11831795 |    45632 |   581946      0 |     9820 |   127577
1261.48/1261.79	c 1246s |      13 | 11866615 |    45732 |   581946      0 |     9825 |   127794
1265.98/1266.27	c 1250s |      13 | 11918939 |    45832 |   581946      0 |     9831 |   127878
1268.37/1268.68	c 1253s |      13 | 11960758 |    45932 |   581946      0 |     9833 |   127901
1270.67/1270.90	c 1255s |      13 | 12005053 |    46032 |   581946      0 |     9834 |   127915
1272.97/1273.25	c 1257s |      13 | 12031616 |    46132 |   581946      0 |     9836 |   127938
1275.67/1275.91	c 1260s |      13 | 12061146 |    46232 |   581946      0 |     9836 |   127938
1279.17/1279.40	c 1263s |      13 | 12107771 |    46432 |   581946      0 |     9838 |   127967
1282.37/1282.62	c 1267s |      13 | 12141062 |    46632 |   581946      0 |     9841 |   128004
1284.67/1284.95	c 1269s |      13 | 12148466 |    46732 |   581946      0 |     9844 |   128046
1287.17/1287.49	c 1271s |      13 | 12158072 |    46832 |   581946      0 |     9848 |   128102
1290.17/1290.42	c 1274s |      13 | 12184199 |    47132 |   581946      0 |     9849 |   128116
1292.47/1292.79	c 1277s |      13 | 12199241 |    47232 |   581946      0 |     9851 |   128144
1297.06/1297.39	c 1281s |      13 | 12212085 |    47332 |   581946      0 |     9855 |   128200
1300.96/1301.26	c 1285s |      13 | 12239232 |    47532 |   581946      0 |     9860 |   128270
1305.26/1305.58	c 1290s |      13 | 12267816 |    47632 |   581946      0 |     9867 |   128404
1307.46/1307.70	c 1292s |      13 | 12279962 |    47732 |   581946      0 |     9868 |   128418
1310.46/1310.70	c 1295s |      13 | 12303889 |    47932 |   581946      0 |     9869 |   128429
1312.66/1312.95	c 1297s |      13 | 12310378 |    48032 |   581946      0 |     9873 |   128485
1319.66/1319.98	c 1304s |      13 | 12327141 |    48132 |   581946      0 |     9883 |   128624
1324.96/1325.22	c 1309s |      13 | 12340448 |    48332 |   581946      0 |     9889 |   128708
1327.86/1328.16	c 1312s |      13 | 12367283 |    48532 |   581946      0 |     9891 |   128737
1330.06/1330.30	c 1314s |      13 | 12395728 |    48632 |   581946      0 |     9892 |   128751
1334.26/1334.52	c 1318s |      13 | 12425427 |    48832 |   581946      0 |     9894 |   128930
1338.06/1338.34	c 1322s |      13 | 12437219 |    48932 |   581946      0 |     9896 |   128955
1340.76/1341.09	c 1325s |      13 | 12456166 |    49132 |   581946      0 |     9897 |   128965
1342.86/1343.12	c 1327s |      13 | 12480557 |    49232 |   581946      0 |     9897 |   128965
1345.46/1345.74	c 1330s |      13 | 12507880 |    49432 |   581946      0 |     9897 |   128965
1348.36/1348.64	c 1333s |      13 | 12565380 |    49632 |   581946      0 |     9897 |   128965
1350.76/1351.03	c 1335s |      13 | 12592918 |    49732 |   581946      0 |     9898 |   128979
1353.36/1353.69	c 1338s |      13 | 12614829 |    49832 |   581946      0 |     9899 |   128994
1357.75/1358.02	c 1342s |      13 | 12648139 |    50132 |   581946      0 |     9901 |   129022
1361.15/1361.48	c 1345s |      13 | 12679895 |    50532 |   581946      0 |     9903 |   129050
1364.35/1364.69	c 1349s |      13 | 12690782 |    50632 |   581946      0 |     9906 |   129092
1366.45/1366.71	c 1351s |      13 | 12697289 |    50732 |   581946      0 |     9906 |   129092
1369.36/1369.62	c 1354s |      13 | 12705086 |    51032 |   581946      0 |     9906 |   129092
1371.56/1371.88	c 1356s |      13 | 12721516 |    51232 |   581946      0 |     9907 |   129106
1373.66/1373.96	c 1358s |      13 | 12754345 |    51432 |   581946      0 |     9908 |   129120
1376.65/1376.91	c 1361s |      13 | 12792449 |    51632 |   581946      0 |     9910 |   129148
1378.65/1378.91	c 1363s |      13 | 12821050 |    51732 |   581946      0 |     9910 |   129148
1381.95/1382.26	c 1366s |      13 | 12862564 |    51932 |   581946      0 |     9910 |   129148
1384.66/1384.93	c 1369s |      13 | 12883672 |    52132 |   581946      0 |     9910 |   129148
1389.55/1389.86	c 1374s |      13 | 12915961 |    52432 |   581946      0 |     9912 |   129176
1396.75/1397.05	c 1381s |      13 | 13000054 |    52632 |   581946      0 |     9922 |   129373
1399.75/1400.01	c 1384s |      13 | 13053732 |    52732 |   581946      0 |     9926 |   129425
1406.35/1406.60	c 1391s |      13 | 13088000 |    52832 |   581946      0 |     9935 |   129575
1409.85/1410.15	c 1394s |      13 | 13125351 |    52932 |   581946      0 |     9937 |   129599
1413.55/1413.81	c 1398s |      13 | 13181368 |    53132 |   581946      0 |     9937 |   129599
1416.24/1416.59	c 1401s |      13 | 13245314 |    53332 |   581946      0 |     9937 |   129599
1418.85/1419.18	c 1403s |      13 | 13280121 |    53532 |   581946      0 |     9937 |   129599
1422.64/1422.92	c 1407s |      13 | 13328569 |    53732 |   581946      0 |     9939 |   129630
1426.94/1427.29	c 1411s |      13 | 13357632 |    53832 |   581946      0 |     9945 |   129717
1429.24/1429.50	c 1413s |      13 | 13393807 |    54032 |   581946      0 |     9945 |   129717
1433.05/1433.36	c 1417s |      13 | 13477865 |    54332 |   581946      0 |     9945 |   129717
1435.14/1435.47	c 1419s |      13 | 13521383 |    54432 |   581946      0 |     9947 |   129745
1438.44/1438.77	c 1423s |      13 | 13539144 |    54532 |   581946      0 |     9949 |   129773
1444.54/1444.80	c 1429s |      13 | 13582994 |    54732 |   581946      0 |     9953 |   129829
1448.55/1448.85	c 1433s |      13 | 13641499 |    54832 |   581946      0 |     9957 |   129885
1452.24/1452.51	c 1436s |      13 | 13665464 |    54932 |   581946      0 |     9961 |   129941
1457.25/1457.50	c 1441s |      13 | 13706197 |    55132 |   581946      0 |     9963 |   129969
1459.55/1459.83	c 1444s |      13 | 13729800 |    55232 |   581946      0 |     9963 |   129969
1461.94/1462.28	c 1446s |      13 | 13738658 |    55332 |   581946      0 |     9965 |   129998
1469.54/1469.82	c 1454s |      13 | 13755586 |    55532 |   581946      0 |     9974 |   130124
1471.54/1471.84	c 1456s |      13 | 13767783 |    55632 |   581946      0 |     9975 |   130138
1476.53/1476.89	c 1461s |      13 | 13778170 |    55732 |   581946      0 |     9981 |   130223
1481.33/1481.61	c 1466s |      13 | 13801582 |    55932 |   581946      0 |     9984 |   130266
1483.74/1484.01	c 1468s |      13 | 13827307 |    56032 |   581946      0 |     9984 |   130266
1487.33/1487.62	c 1472s |      13 | 13854636 |    56232 |   581946      0 |     9984 |   130266
1490.34/1490.60	c 1475s |      13 | 13870505 |    56332 |   581946      0 |     9987 |   130304
1494.13/1494.44	c 1478s |      13 | 13936226 |    56532 |   581946      0 |     9988 |   130318
1497.43/1497.74	c 1482s |      13 | 13946094 |    56632 |   581946      0 |     9991 |   130356
1499.73/1500.02	c 1484s |      13 | 13957713 |    56732 |   581946      0 |     9992 |   130365
1504.83/1505.13	c 1489s |      13 | 13982028 |    56932 |   581946      0 |     9992 |   130365
1506.93/1507.30	c 1491s |      13 | 14004501 |    57032 |   581946      0 |     9993 |   130379
1511.03/1511.38	c 1495s |      13 | 14024486 |    57132 |   581946      0 |     9996 |   130421
1516.03/1516.37	c 1500s |      13 | 14066489 |    57232 |   581946      0 |    10002 |   130507
1525.13/1525.48	c 1509s |      13 | 14101541 |    57432 |   581946      0 |    10010 |   130800
1527.53/1527.85	c 1512s |      13 | 14137062 |    57532 |   581946      0 |    10010 |   130800
1529.73/1530.03	c 1514s |      13 | 14153080 |    57632 |   581946      0 |    10011 |   130814
1532.93/1533.20	c 1517s |      13 | 14170453 |    57832 |   581946      0 |    10012 |   130829
1535.33/1535.66	c 1520s |      13 | 14188583 |    58032 |   640141      0 |    10012 |   130829
1537.43/1537.78	c 1522s |      13 | 14194117 |    58232 |   640141      0 |    10013 |   130843
1538.13/1538.47	c 1522s |      14 | 14202074 |    58352 |   640141      0 |    10013 |   130843
1541.32/1541.66	c 1526s |      14 | 14219666 |    58552 |   640141      0 |    10013 |   130843
1545.02/1545.30	c 1529s |      14 | 14232898 |    58652 |   640141      0 |    10017 |   130901
1547.92/1548.23	c 1532s |      14 | 14257137 |    58852 |   640141      0 |    10019 |   130924
1551.22/1551.59	c 1536s |      14 | 14296958 |    59152 |   640141      0 |    10021 |   130944
1553.82/1554.19	c 1538s |      14 | 14313724 |    59252 |   640141      0 |    10022 |   130954
1556.52/1556.88	c 1541s |      14 | 14338273 |    59452 |   640141      0 |    10023 |   130968
1559.12/1559.47	c 1543s |      14 | 14347879 |    59652 |   640141      0 |    10023 |   130968
1561.22/1561.53	c 1545s |      14 | 14355381 |    59852 |   640141      0 |    10023 |   130968
1564.22/1564.54	c 1548s |      14 | 14368005 |    60052 |   640141      0 |    10023 |   130968
1566.23/1566.59	c 1551s |      14 | 14375563 |    60252 |   640141      0 |    10023 |   130968
1568.62/1568.99	c 1553s |      14 | 14384140 |    60552 |   640141      0 |    10024 |   130979
1571.32/1571.62	c 1556s |      14 | 14402078 |    60652 |   640141      0 |    10026 |   131009
1573.52/1573.82	c 1558s |      14 | 14412714 |    60852 |   640141      0 |    10028 |   131032
1578.62/1578.91	c 1563s |      14 | 14425072 |    60952 |   640141      0 |    10036 |   131144
1581.02/1581.39	c 1565s |      14 | 14452714 |    61052 |   640141      0 |    10037 |   131158
1586.02/1586.36	c 1570s |      14 | 14488639 |    61252 |   640141      0 |    10040 |   131200
1588.02/1588.37	c 1572s |      14 | 14501149 |    61352 |   640141      0 |    10042 |   131225
1590.92/1591.27	c 1575s |      14 | 14536276 |    61452 |   640141      0 |    10045 |   131267
1595.42/1595.73	c 1580s |      14 | 14575870 |    61652 |   640141      0 |    10048 |   131301
1598.22/1598.50	c 1582s |      14 | 14596869 |    61852 |   640141      0 |    10050 |   131329
1602.32/1602.61	c 1587s |      14 | 14605884 |    61952 |   640141      0 |    10056 |   131403
1604.62/1604.96	c 1589s |      14 | 14619469 |    62052 |   640141      0 |    10056 |   131403
1607.41/1607.75	c 1592s |      14 | 14657721 |    62252 |   640141      0 |    10057 |   131417
1611.01/1611.35	c 1595s |      14 | 14668709 |    62452 |   640141      0 |    10059 |   131445
1614.11/1614.49	c 1598s |      14 | 14682412 |    62652 |   640141      0 |    10062 |   131477
1621.31/1621.62	c 1606s |      14 | 14690130 |    62752 |   640141      0 |    10073 |   131777
1626.81/1627.18	c 1611s |      14 | 14721255 |    62852 |   640141      0 |    10076 |   131819
1630.41/1630.70	c 1615s |      14 | 14776616 |    63052 |   640141      0 |    10076 |   131819
1632.41/1632.76	c 1617s |      14 | 14796652 |    63152 |   640141      0 |    10076 |   131819
1635.21/1635.59	c 1620s |      14 | 14815447 |    63352 |   640141      0 |    10076 |   131819
1637.51/1637.88	c 1622s |      14 | 14819263 |    63452 |   640141      0 |    10078 |   131847
1640.11/1640.43	c 1624s |      14 | 14827958 |    63652 |   640141      0 |    10079 |   131862
1648.61/1648.95	c 1633s |      14 | 14853268 |    63852 |   640141      0 |    10090 |   132009
1651.81/1652.16	c 1636s |      14 | 14866102 |    63952 |   640141      0 |    10094 |   132061
1654.11/1654.45	c 1638s |      14 | 14880917 |    64252 |   640141      0 |    10094 |   132061
1656.91/1657.21	c 1641s |      14 | 14897477 |    64452 |   640141      0 |    10094 |   132061
1659.80/1660.10	c 1644s |      14 | 14904400 |    64652 |   640141      0 |    10094 |   132061
1663.30/1663.65	c 1648s |      14 | 14929992 |    64852 |   640141      0 |    10097 |   132103
1665.70/1666.04	c 1650s |      14 | 14952953 |    64952 |   640141      0 |    10098 |   132117
1670.50/1670.80	c 1655s |      14 | 15024867 |    65152 |   640141      0 |    10101 |   132155
1672.81/1673.19	c 1657s |      14 | 15051384 |    65452 |   640141      0 |    10101 |   132155
1677.80/1678.16	c 1662s |      14 | 15084549 |    65752 |   640141      0 |    10102 |   132164
1680.61/1680.97	c 1665s |      14 | 15102757 |    65852 |   640141      0 |    10103 |   132174
1686.20/1686.54	c 1670s |      14 | 15145189 |    65952 |   640141      0 |    10108 |   132239
1688.90/1689.25	c 1673s |      14 | 15169062 |    66052 |   640141      0 |    10109 |   132248
1693.90/1694.26	c 1678s |      14 | 15191497 |    66252 |   640141      0 |    10111 |   132276
1699.50/1699.81	c 1684s |      14 | 15209524 |    66352 |   640141      0 |    10111 |   132276
1703.90/1704.21	c 1688s |      14 | 15225534 |    66452 |   640141      0 |    10112 |   132285
1708.80/1709.12	c 1693s |      14 | 15301982 |    66652 |   640141      0 |    10116 |   132327
1711.60/1711.92	c 1696s |      14 | 15331217 |    66852 |   640141      0 |    10116 |   132327
1717.90/1718.30	c 1702s |      14 | 15365748 |    67052 |   640141      0 |    10121 |   132388
1722.59/1722.90	c 1707s |      14 | 15418695 |    67152 |   640141      0 |    10124 |   132754
1727.49/1727.80	c 1712s |      14 | 15466744 |    67252 |   640141      0 |    10129 |   132819
1733.49/1733.88	c 1718s |      14 | 15487665 |    67352 |   640141      0 |    10136 |   132907
1735.69/1736.07	c 1720s |      14 | 15492414 |    67552 |   640141      0 |    10136 |   132907
1738.59/1738.97	c 1723s |      14 | 15501743 |    67752 |   640141      0 |    10137 |   132921
1741.69/1742.06	c 1726s |      14 | 15536450 |    67952 |   640141      0 |    10137 |   132921
1745.69/1746.00	c 1730s |      14 | 15570038 |    68052 |   640141      0 |    10139 |   132944
1748.39/1748.77	c 1733s |      14 | 15607235 |    68152 |   640141      0 |    10139 |   132944
1751.89/1752.20	c 1736s |      14 | 15670323 |    68352 |   640141      0 |    10139 |   132944
1756.99/1757.39	c 1741s |      14 | 15706198 |    68552 |   640141      0 |    10141 |   132968
1759.69/1760.08	c 1744s |      14 | 15708397 |    68752 |   640141      0 |    10141 |   132968
1763.48/1763.81	c 1748s |      14 | 15718458 |    68952 |   640141      0 |    10145 |   133024
1766.19/1766.56	c 1750s |      14 | 15734512 |    69052 |   640141      0 |    10147 |   133052
1768.39/1768.72	c 1753s |      14 | 15749489 |    69152 |   640141      0 |    10148 |   133066
1775.69/1776.04	c 1760s |      14 | 15770388 |    69252 |   640141      0 |    10157 |   133190
1778.09/1778.46	c 1762s |      14 | 15777627 |    69452 |   640141      0 |    10158 |   133199
1781.28/1781.68	c 1766s |      14 | 15790903 |    69552 |   640141      0 |    10161 |   133242
1784.48/1784.83	c 1769s |      14 | 15811730 |    69652 |   640141      0 |    10163 |   133271
1788.29/1788.61	c 1773s |      14 | 15824593 |    69852 |   640141      0 |    10165 |   133291
1790.68/1791.00	c 1775s |      14 | 15838285 |    70052 |   640141      0 |    10165 |   133291
1793.79/1794.17	c 1778s |      14 | 15855624 |    70152 |   640141      0 |    10165 |   133291
1796.78/1797.13	c 1781s |      14 | 15887665 |    70252 |   640141      0 |    10166 |   133305
1799.38/1799.77	c 1784s |      14 | 15896247 |    70452 |   640141      0 |    10167 |   133314

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

pid=26355
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.04 2.11 2.08 3/179 26358
/proc/meminfo: memFree=28512564/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=552380 CPUtime=0 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 2027 0 0 0 0 0 0 0 20 0 4 0 31330977 565637120 2900 33554432000 4194304 16246674 140734321650960 140734321633320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 138607 2907 441 2943 0 135501 0
[pid=26358/tid=26359] ppid=26355 vsize=568764 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 582414336 2964 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=573884 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 587657216 2983 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=577980 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31330977 591851520 2998 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.04 2.11 2.08 3/179 26358
/proc/meminfo: memFree=28512564/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 23758 0 0 0 5 3 0 0 20 0 4 0 31330977 1250496512 24568 33554432000 4194304 16246674 140734321650960 140734321650272 4206587 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 305297 24568 800 2943 0 302191 0
[pid=26358/tid=26359] ppid=26355 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1250496512 24568 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1250496512 24568 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1250496512 24568 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200456 s]
/proc/loadavg: 2.04 2.11 2.08 3/179 26358
/proc/meminfo: memFree=28512564/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1308228 CPUtime=0.18 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 47195 0 0 0 12 6 0 0 20 0 4 0 31330977 1339625472 48005 33554432000 4194304 16246674 140734321650960 140734321650272 4225154 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 327057 48009 801 2943 0 323951 0
[pid=26358/tid=26359] ppid=26355 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1339625472 48011 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1339625472 48013 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1339625472 48015 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1308228

[startup+0.300417 s]
/proc/loadavg: 2.04 2.11 2.08 3/179 26358
/proc/meminfo: memFree=28512564/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 62346 0 0 0 21 8 0 0 20 0 4 0 31330977 1345916928 63156 33554432000 4194304 16246674 140734321650960 140734321650272 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 328593 63156 801 2943 0 325487 0
[pid=26358/tid=26359] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 63156 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 63156 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 63156 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700367 s]
/proc/loadavg: 2.04 2.11 2.08 3/179 26358
/proc/meminfo: memFree=28512564/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 73642 0 0 0 59 10 0 0 20 0 4 0 31330977 1345916928 74452 33554432000 4194304 16246674 140734321650960 140734321633952 4222992 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 328593 74452 801 2943 0 325487 0
[pid=26358/tid=26359] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 74452 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 74452 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 74452 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50036 s]
/proc/loadavg: 2.04 2.11 2.08 3/183 26362
/proc/meminfo: memFree=28197164/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 89194 0 0 0 137 12 0 0 20 0 4 0 31330977 1345916928 90004 33554432000 4194304 16246674 140734321650960 140734321633952 13761616 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 328593 90004 802 2943 0 325487 0
[pid=26358/tid=26359] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 90004 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 90004 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1345916928 90004 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10036 s]
/proc/loadavg: 2.04 2.11 2.08 3/183 26362
/proc/meminfo: memFree=28107524/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1325636 CPUtime=3.09 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 114300 0 0 0 293 16 0 0 20 0 4 0 31330977 1357451264 115110 33554432000 4194304 16246674 140734321650960 140734321633952 8055408 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 331409 115110 802 2943 0 328303 0
[pid=26358/tid=26359] ppid=26355 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1357451264 115110 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1357451264 115110 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1357451264 115110 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1325636

[startup+6.30034 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 26362
/proc/meminfo: memFree=27589804/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1374788 CPUtime=6.29 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 272808 0 0 0 589 40 0 0 20 0 4 0 31330977 1407782912 280261 33554432000 4194304 16246674 140734321650960 140734321632832 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 343697 280261 844 2943 0 340591 0
[pid=26358/tid=26359] ppid=26355 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1407782912 280261 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1407782912 280261 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1374788 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1407782912 280261 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1374788

[startup+12.7004 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 26362
/proc/meminfo: memFree=27369592/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1451588 CPUtime=12.69 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 292286 0 0 0 1226 43 0 0 20 0 4 0 31330977 1486426112 304849 33554432000 4194304 16246674 140734321650960 140734321650272 4206568 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 362897 304849 848 2943 0 359791 0
[pid=26358/tid=26359] ppid=26355 vsize=1451588 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1486426112 304849 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1451588 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1486426112 304849 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1451588 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1486426112 304849 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1451588

[startup+25.5004 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 26362
/proc/meminfo: memFree=27294584/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1451588 CPUtime=25.48 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 292328 0 0 0 2505 43 0 0 20 0 4 0 31330977 1486426112 304891 33554432000 4194304 16246674 140734321650960 140734321632832 5581916 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 362897 304891 890 2943 0 359791 0
[pid=26358/tid=26359] ppid=26355 vsize=1451588 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1486426112 304891 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1451588 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1486426112 304891 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1451588 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1486426112 304891 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1451588

[startup+51.1004 s]
/proc/loadavg: 2.07 2.10 2.09 3/183 26362
/proc/meminfo: memFree=27138056/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=51.06 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331245 0 0 0 5057 49 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140734321632832 5841051 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26358/statm: 401809 343808 894 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1607236

[startup+102.3 s]
/proc/loadavg: 2.21 2.13 2.10 3/183 26364
/proc/meminfo: memFree=27137620/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=102.25 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331245 0 0 0 10176 49 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140734321632832 12415827 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343808 894 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343808 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1607236


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

/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1607236

[startup+1302.3 s]
/proc/loadavg: 2.10 2.15 2.13 3/183 26396
/proc/meminfo: memFree=27135772/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1302.06 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 130154 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1607236

[startup+1362.3 s]
/proc/loadavg: 2.04 2.12 2.12 3/183 26397
/proc/meminfo: memFree=27135680/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1362.05 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 136153 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321648720 4221129 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1607236

[startup+1422.3 s]
/proc/loadavg: 2.05 2.11 2.12 3/183 26398
/proc/meminfo: memFree=27136084/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1422.05 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 142153 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 5530855 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1607236

[startup+1482.3 s]
/proc/loadavg: 2.19 2.13 2.12 3/183 26399
/proc/meminfo: memFree=27135868/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1482.03 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 148151 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 5659576 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1607236

[startup+1542.31 s]
/proc/loadavg: 2.07 2.11 2.11 3/183 26400
/proc/meminfo: memFree=27135656/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1542.03 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 154151 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1607236

[startup+1602.3 s]
/proc/loadavg: 1.95 2.08 2.10 2/174 26436
/proc/meminfo: memFree=29718224/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1602.02 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 160150 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 5531892 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1607236

[startup+1662.3 s]
/proc/loadavg: 1.41 1.90 2.03 2/174 26460
/proc/meminfo: memFree=29719328/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1662 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 166148 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 5545713 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1607236

[startup+1722.3 s]
/proc/loadavg: 1.28 1.76 1.97 2/173 26461
/proc/meminfo: memFree=29718996/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1721.99 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331246 0 0 0 172147 52 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 12997776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1607236

[startup+1782.3 s]
/proc/loadavg: 1.14 1.64 1.92 2/173 26462
/proc/meminfo: memFree=29718772/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1781.98 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331264 0 0 0 178145 53 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 12415766 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1607236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.10 1.59 1.90 2/173 26462
/proc/meminfo: memFree=29718632/32872528 swapFree=534252/566956
[pid=26358] ppid=26355 vsize=1607236 CPUtime=1800.08 cores=0,2,4,6
/proc/26358/stat : 26358 (toysat) R 26355 26358 24407 0 -1 4202496 331271 0 0 0 179955 53 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140734321632832 5600136 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/26358/statm: 401809 343809 895 2943 0 398703 0
[pid=26358/tid=26359] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26359/stat : 26359 (toysat) S 26355 26358 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207946968304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=26358/tid=26360] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26360/stat : 26360 (toysat) S 26355 26358 24407 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207865179376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=26358/tid=26361] ppid=26355 vsize=1607236 CPUtime=0 cores=0,2,4,6
/proc/26358/task/26361/stat : 26361 (toysat) S 26355 26358 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31330977 1645809664 343809 33554432000 4194304 16246674 140734321650960 140207854705840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1607236

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 26358 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.46
CPU time (s): 1800.14
CPU user time (s): 1799.56
CPU system time (s): 0.581911
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 1607236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.581911
maximum resident set size= 1375236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331271
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= 145
involuntary context switches= 2008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6183 second user time and 6.87795 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-19 01:34:13
IDJOB=4108960
IDBENCH=89759
IDSOLVER=2542
FILE ID=node138/4108960-1466292853
RUNJOBID= node138-1466276409-24423
PBS_JOBID= 19918262
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-162.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108960-1466292853/watcher-4108960-1466292853 -o /tmp/evaluation-result-4108960-1466292853/solver-4108960-1466292853 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24423 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108960-1466292853.opb

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

MD5SUM BENCH= 7794df8d293fccdb0879a56da38b7284
RANDOM SEED=2132259114

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28513208 kB
Buffers:          157864 kB
Cached:           364376 kB
SwapCached:          888 kB
Active:          2727104 kB
Inactive:         317116 kB
Active(anon):    2520348 kB
Inactive(anon):     3912 kB
Active(file):     206756 kB
Inactive(file):   313204 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             42516 kB
Writeback:             0 kB
AnonPages:       3088652 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             611736 kB
SReclaimable:      54992 kB
SUnreclaim:       556744 kB
KernelStack:        1448 kB
PageTables:        10100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3230680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 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 node138 at 2016-06-19 02:04:14