Trace number 4078582

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.5

General information on the benchmark

Namenormalized-PB06/SATUNSAT-BIGINT/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
MD5SUMd53007d2869c28e065ccd77bdf635fbe
Bench CategoryDEC-BIGINT (no optimisation, big integers)
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 benchmark6.64399
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables82
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint82
Maximum length of a constraint82
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 104723596
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 1078440737
Number of bits of the biggest sum of numbers31
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-06T20:24:47+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-4078582-1465237487.opb"]
0.00/0.01	c use --random-gen="2415922158 1228062910 1541844004 1431087274 3163818194 2811172400 2442580684 645680614 3906555574 2483035629 2531065969 1346299594 2844059488 4251786799 2591568485 1793836190 1857469980 2223310945 1095465395 2974528244 2568027774 3671788436 1977759779 3089281971 1216259400 1331723789 2525760607 2686976049 3229772183 2948493435 2172196073 493980243 3198542509 2914641543 2515966550 3615272458 217761831 1941988101 3047886724 486280475 2442560575 1798262780 3552961817 4114036398 2630009297 548207207 2436453191 692135029 2137193414 4241669284 3875454012 3753646703 2631374670 1946467004 3609992340 1925373014 3216432962 2695989010 2811508177 552426612 3908636236 3408227533 2078570106 3890446578 1116295807 2802727083 2637462172 2271185053 1940524343 3943076395 2933426630 3657213337 1862724000 3790648324 3990381653 4041934457 1952430207 2355712628 826260494 4120542831 299495045 1519316000 710050531 1105296156 723833561 4250454629 905867033 2538108168 2352964132 1049960920 3001794166 2057308337 405246704 1651360803 3688040274 1016040499 3204966943 3954661505 1665145230 606001491 169636293 2402348698 3789249906 3854950050 3753675911 2681193561 1896661940 1986894742 2732551330 3510431906 3529926127 3930367342 3880740659 1388967616 1984616302 671530619 1232373747 3003052575 2766567224 406234050 719699261 1101578201 75462871 171491030 1422604519 370162781 2407619948 4121366191 1695113208 231931336 1116427501 1480884173 41157668 2326567632 1750990053 2870074413 13948261 2108266712 1949783316 3914380533 1266183385 48949038 1738248447 3790532100 101576550 31323319 3465903342 2112682619 2915278951 3175658588 624893158 724465648 2529206059 2646117272 4259852052 3810862571 3279915872 2270798803 2361044408 832948581 11037498 787451162 2718535403 3718997397 2622460768 2059714398 342620587 117408810 3639950172 1584500261 659561659 2204296403 780893826 20633901 2743353582 943965176 3572102237 3139401137 2840271528 1795450744 2044994700 2232769145 3967337745 1122980052 3698044766 28872188 3920039563 1557536877 247380869 3403924601 743303479 1212752627 104104182 366274337 1174284192 1545447789 62358919 1847519667 1859032233 3707111310 143730801 3859938020 2691533652 3934077903 2976237921 508713943 3077718822 1273741770 1936618726 97950545 3113660411 4043650983 2073635779 755146797 3961736022 1642430299 702164877 995859980 4254423779 205625555 39945267 3718811066 3492425611 482362399 3560675038 1324534387 3848655207 3962965295 3068834508 1447819287 2358182861 37029697 2760613051 274553257 2087886555 347252731 1515827470 3385991898 1927789406 1545837825 3788357536 3238399043 608344474 2344111886 1033210081 4077364103 243126788 3766023486 2216627752 851329161 2213461485 4101892445 4102873835 1427846317 856454246 1819624830 255 362436" option to reproduce the execution
0.00/0.01	c #vars 82
0.00/0.01	c #constraints 2
439.41/439.53	c Solving starts ...
439.41/439.53	c ============================[ Search Statistics ]============================
439.41/439.53	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
439.41/439.53	c       |         |          |          |    Limit     GC | Var      | Constra 
439.41/439.53	c =============================================================================
439.41/439.53	c  0.0s |       0 |        0 |        0 |       28      0 |        0 |        0
439.41/439.54	c  0.0s |       1 |      117 |      100 |       28      0 |        0 |        0
439.41/439.57	c  0.0s |       2 |      277 |      250 |       31      4 |        0 |        0
439.51/439.60	c  0.1s |       3 |      514 |      475 |       35      9 |        0 |        0
439.51/439.65	c  0.1s |       4 |      858 |      813 |       39     16 |        0 |        0
439.61/439.72	c  0.2s |       5 |     1372 |     1320 |       43     26 |        0 |        0
439.71/439.83	c  0.3s |       6 |     2143 |     2081 |       53     40 |        0 |        0
439.81/439.99	c  0.5s |       7 |     3292 |     3223 |       59     60 |        0 |        0
440.11/440.22	c  0.7s |       8 |     5046 |     4936 |       65     89 |        0 |        0
440.41/440.59	c  1.1s |       9 |     7648 |     7506 |       72    129 |        0 |        0
441.02/441.14	c  1.6s |      10 |    11549 |    11361 |       80    185 |        0 |        0
441.91/442.03	c  2.5s |      11 |    17376 |    17144 |       88    265 |        0 |        0
443.22/443.40	c  3.9s |      12 |    26079 |    25819 |       97    380 |        0 |        0
445.31/445.40	c  5.9s |      12 |    38719 |    38419 |       97    539 |        0 |        0
445.31/445.47	c  5.9s |      13 |    39137 |    38832 |      107    544 |        0 |        0
447.31/447.47	c  7.9s |      13 |    52081 |    51732 |      107    697 |        0 |        0
448.31/448.48	c  9.0s |      14 |    58708 |    58352 |      118    775 |        0 |        0
450.31/450.49	c 11.0s |      14 |    71637 |    71252 |      118    918 |        0 |        0
452.41/452.50	c 13.0s |      14 |    84436 |    84052 |      118   1060 |        0 |        0
452.91/453.07	c 13.5s |      15 |    88016 |    87632 |      130   1100 |        0 |        0
454.91/455.08	c 15.6s |      15 |   100439 |   100032 |      130   1229 |        0 |        0
456.91/457.08	c 17.6s |      15 |   112844 |   112432 |      130   1358 |        0 |        0
458.90/459.09	c 19.6s |      15 |   125362 |   124932 |      130   1490 |        0 |        0
460.00/460.15	c 20.6s |      16 |   131993 |   131552 |      143   1559 |        0 |        0
462.01/462.16	c 22.6s |      16 |   144415 |   143952 |      143   1680 |        0 |        0
464.00/464.16	c 24.6s |      16 |   156719 |   156252 |      143   1801 |        0 |        0
466.00/466.17	c 26.6s |      16 |   169222 |   168752 |      143   1924 |        0 |        0
468.00/468.18	c 28.7s |      16 |   181617 |   181152 |      143   2047 |        0 |        0
470.10/470.20	c 30.7s |      16 |   194024 |   193552 |      143   2170 |        0 |        0
470.71/470.82	c 31.3s |      17 |   197904 |   197432 |      158   2208 |        0 |        0
472.70/472.82	c 33.3s |      17 |   210029 |   209532 |      158   2318 |        0 |        0
474.70/474.83	c 35.3s |      17 |   222127 |   221632 |      158   2429 |        0 |        0
476.70/476.84	c 37.3s |      17 |   234222 |   233732 |      158   2541 |        0 |        0
478.69/478.85	c 39.3s |      17 |   246531 |   246032 |      158   2654 |        0 |        0
480.70/480.87	c 41.3s |      17 |   258735 |   258232 |      158   2768 |        0 |        0
482.70/482.87	c 43.3s |      17 |   270936 |   270432 |      158   2881 |        0 |        0
484.69/484.89	c 45.4s |      17 |   283240 |   282732 |      158   2994 |        0 |        0
486.69/486.89	c 47.4s |      17 |   295643 |   295132 |      174   3110 |        0 |        0
486.89/487.07	c 47.5s |      18 |   296763 |   296252 |      174   3120 |        0 |        0
488.89/489.08	c 49.5s |      18 |   308994 |   308452 |      174   3223 |        0 |        0
490.89/491.08	c 51.6s |      18 |   321299 |   320752 |      174   3330 |        0 |        0
492.99/493.10	c 53.6s |      18 |   333602 |   333052 |      174   3435 |        0 |        0
494.89/495.10	c 55.6s |      18 |   345802 |   345252 |      174   3540 |        0 |        0
496.99/497.11	c 57.6s |      18 |   358110 |   357552 |      174   3647 |        0 |        0
498.99/499.11	c 59.6s |      18 |   370033 |   369452 |      174   3750 |        0 |        0
500.99/501.12	c 61.6s |      18 |   381942 |   381352 |      174   3853 |        0 |        0
502.99/503.13	c 63.6s |      18 |   393862 |   393252 |      174   3956 |        0 |        0
504.99/505.14	c 65.6s |      18 |   405779 |   405152 |      174   4060 |        0 |        0
506.99/507.15	c 67.6s |      18 |   417897 |   417252 |      174   4165 |        0 |        0
508.99/509.16	c 69.6s |      18 |   430100 |   429452 |      174   4270 |        0 |        0
510.98/511.18	c 71.6s |      18 |   442510 |   441852 |      192   4377 |        0 |        0
511.49/511.62	c 72.1s |      19 |   445141 |   444482 |      192   4398 |        0 |        0
513.48/513.62	c 74.1s |      19 |   457101 |   456382 |      192   4492 |        0 |        0
515.48/515.63	c 76.1s |      19 |   469020 |   468282 |      192   4587 |        0 |        0
517.48/517.64	c 78.1s |      19 |   480953 |   480182 |      192   4682 |        0 |        0
519.48/519.64	c 80.1s |      19 |   493181 |   492382 |      192   4779 |        0 |        0
521.48/521.65	c 82.1s |      19 |   505179 |   504382 |      192   4875 |        0 |        0
523.49/523.66	c 84.1s |      19 |   517208 |   516382 |      192   4971 |        0 |        0
525.48/525.67	c 86.1s |      19 |   529011 |   528182 |      192   5065 |        0 |        0
527.48/527.68	c 88.1s |      19 |   541617 |   540782 |      192   5164 |        0 |        0
529.48/529.68	c 90.2s |      19 |   553917 |   553082 |      192   5262 |        0 |        0
531.48/531.69	c 92.2s |      19 |   566020 |   565182 |      192   5358 |        0 |        0
533.49/533.69	c 94.2s |      19 |   578042 |   577182 |      192   5455 |        0 |        0
535.48/535.69	c 96.2s |      19 |   590663 |   589782 |      192   5558 |        0 |        0
537.58/537.70	c 98.2s |      19 |   602869 |   601982 |      192   5656 |        0 |        0
539.58/539.71	c  100s |      19 |   614989 |   614082 |      192   5754 |        0 |        0
541.57/541.71	c  102s |      19 |   627203 |   626282 |      192   5852 |        0 |        0
543.58/543.71	c  104s |      19 |   639408 |   638482 |      192   5948 |        0 |        0
545.59/545.73	c  106s |      19 |   651704 |   650782 |      192   6046 |        0 |        0
547.58/547.74	c  108s |      19 |   663917 |   662982 |      212   6143 |        0 |        0
548.18/548.37	c  108s |      20 |   667767 |   666827 |      212   6171 |        0 |        0
550.18/550.39	c  110s |      20 |   679893 |   678927 |      212   6259 |        0 |        0
552.19/552.39	c  112s |      20 |   691906 |   690927 |      212   6347 |        0 |        0
554.17/554.39	c  114s |      20 |   703726 |   702727 |      212   6434 |        0 |        0
556.27/556.41	c  116s |      20 |   715754 |   714727 |      212   6523 |        0 |        0
558.28/558.41	c  118s |      20 |   727690 |   726627 |      212   6611 |        0 |        0
560.27/560.42	c  120s |      20 |   739501 |   738427 |      212   6698 |        0 |        0
562.27/562.43	c  122s |      20 |   751537 |   750427 |      212   6788 |        0 |        0
564.28/564.44	c  124s |      20 |   763440 |   762327 |      212   6876 |        0 |        0
566.28/566.45	c  126s |      20 |   775254 |   774127 |      212   6964 |        0 |        0
568.27/568.45	c  128s |      20 |   787173 |   786027 |      212   7053 |        0 |        0
570.27/570.47	c  130s |      20 |   799188 |   798027 |      212   7142 |        0 |        0
572.27/572.47	c  132s |      20 |   811093 |   809927 |      212   7232 |        0 |        0
574.28/574.48	c  134s |      20 |   822914 |   821727 |      212   7320 |        0 |        0
576.28/576.49	c  136s |      20 |   834819 |   833627 |      212   7409 |        0 |        0
578.27/578.49	c  138s |      20 |   846831 |   845627 |      212   7500 |        0 |        0
580.37/580.50	c  140s |      20 |   858833 |   857627 |      212   7590 |        0 |        0
582.37/582.52	c  142s |      20 |   870844 |   869627 |      212   7679 |        0 |        0
584.37/584.53	c  145s |      20 |   882863 |   881627 |      212   7768 |        0 |        0
586.37/586.54	c  147s |      20 |   894877 |   893627 |      212   7857 |        0 |        0
588.38/588.54	c  149s |      20 |   906988 |   905727 |      212   7947 |        0 |        0
590.37/590.54	c  151s |      20 |   919107 |   917827 |      212   8038 |        0 |        0
592.37/592.55	c  153s |      20 |   931211 |   929927 |      212   8129 |        0 |        0
594.37/594.56	c  155s |      20 |   943413 |   942127 |      212   8219 |        0 |        0
596.37/596.57	c  157s |      20 |   955529 |   954227 |      212   8309 |        0 |        0
598.38/598.59	c  159s |      20 |   967633 |   966327 |      212   8400 |        0 |        0
600.37/600.60	c  161s |      20 |   979952 |   978627 |      212   8493 |        0 |        0
602.47/602.60	c  163s |      20 |   992267 |   990927 |      212   8586 |        0 |        0
603.97/604.17	c  164s |      21 |  1001694 |  1000345 |      234   8653 |        0 |        0
605.98/606.18	c  166s |      21 |  1014125 |  1012745 |      234   8737 |        0 |        0
607.96/608.18	c  168s |      21 |  1026432 |  1025045 |      234   8821 |        0 |        0
609.97/610.19	c  170s |      21 |  1038835 |  1037445 |      234   8906 |        0 |        0
612.07/612.20	c  172s |      21 |  1051051 |  1049645 |      234   8989 |        0 |        0
614.06/614.21	c  174s |      21 |  1063468 |  1062045 |      234   9074 |        0 |        0
616.06/616.21	c  176s |      21 |  1075979 |  1074545 |      234   9159 |        0 |        0
618.08/618.23	c  178s |      21 |  1088505 |  1087045 |      234   9244 |        0 |        0
620.07/620.23	c  180s |      21 |  1100909 |  1099445 |      234   9329 |        0 |        0
622.06/622.23	c  182s |      21 |  1113416 |  1111945 |      234   9415 |        0 |        0
624.06/624.24	c  184s |      21 |  1125725 |  1124245 |      234   9499 |        0 |        0
626.06/626.25	c  186s |      21 |  1137826 |  1136345 |      234   9582 |        0 |        0
628.07/628.26	c  188s |      21 |  1150037 |  1148545 |      234   9665 |        0 |        0
630.07/630.26	c  190s |      21 |  1162448 |  1160945 |      234   9750 |        0 |        0
632.06/632.27	c  192s |      21 |  1174851 |  1173345 |      234   9835 |        0 |        0
634.07/634.28	c  194s |      21 |  1187261 |  1185745 |      234   9920 |        0 |        0
636.07/636.29	c  196s |      21 |  1199762 |  1198245 |      234  10006 |        0 |        0
638.17/638.30	c  198s |      21 |  1212323 |  1210745 |      234  10092 |        0 |        0
640.07/640.30	c  200s |      21 |  1224434 |  1222845 |      234  10175 |        0 |        0
642.17/642.32	c  202s |      21 |  1236850 |  1235245 |      234  10261 |        0 |        0
644.16/644.33	c  204s |      21 |  1249283 |  1247645 |      234  10347 |        0 |        0
646.16/646.33	c  206s |      21 |  1261603 |  1259945 |      234  10432 |        0 |        0
648.16/648.34	c  208s |      21 |  1274011 |  1272345 |      234  10517 |        0 |        0
650.16/650.35	c  210s |      21 |  1286320 |  1284645 |      234  10603 |        0 |        0
652.17/652.36	c  212s |      21 |  1298629 |  1296945 |      234  10688 |        0 |        0
654.16/654.36	c  214s |      21 |  1311037 |  1309345 |      234  10773 |        0 |        0
656.16/656.38	c  216s |      21 |  1323439 |  1321745 |      234  10858 |        0 |        0
658.16/658.39	c  218s |      21 |  1336042 |  1334345 |      234  10944 |        0 |        0
660.26/660.41	c  220s |      21 |  1348350 |  1346645 |      234  11029 |        0 |        0
662.26/662.41	c  222s |      21 |  1360753 |  1359045 |      234  11115 |        0 |        0
664.27/664.41	c  224s |      21 |  1373161 |  1371445 |      234  11200 |        0 |        0
666.26/666.41	c  226s |      21 |  1385657 |  1383945 |      234  11285 |        0 |        0
668.26/668.42	c  228s |      21 |  1398061 |  1396345 |      234  11371 |        0 |        0
670.26/670.44	c  230s |      21 |  1410161 |  1408445 |      234  11454 |        0 |        0
672.26/672.45	c  232s |      21 |  1422562 |  1420845 |      234  11540 |        0 |        0
674.27/674.45	c  234s |      21 |  1434680 |  1432945 |      234  11624 |        0 |        0
676.26/676.46	c  236s |      21 |  1446887 |  1445145 |      234  11707 |        0 |        0
678.26/678.47	c  238s |      21 |  1459186 |  1457445 |      234  11792 |        0 |        0
680.25/680.47	c  240s |      21 |  1471693 |  1469945 |      234  11878 |        0 |        0
682.25/682.49	c  242s |      21 |  1484093 |  1482345 |      234  11964 |        0 |        0
684.26/684.49	c  244s |      21 |  1496395 |  1494645 |      258  12047 |        0 |        0
685.27/685.47	c  245s |      22 |  1502373 |  1500622 |      258  12085 |        0 |        0
687.26/687.48	c  247s |      22 |  1514500 |  1512722 |      258  12160 |        0 |        0
689.26/689.49	c  249s |      22 |  1526599 |  1524822 |      258  12236 |        0 |        0
691.25/691.49	c  251s |      22 |  1538603 |  1536822 |      258  12312 |        0 |        0
693.36/693.50	c  253s |      22 |  1550602 |  1548822 |      258  12387 |        0 |        0
695.36/695.51	c  255s |      22 |  1562503 |  1560722 |      258  12462 |        0 |        0
697.37/697.52	c  257s |      22 |  1574303 |  1572522 |      258  12537 |        0 |        0
699.35/699.52	c  259s |      22 |  1586307 |  1584522 |      258  12612 |        0 |        0
701.36/701.52	c  261s |      22 |  1598405 |  1596622 |      258  12689 |        0 |        0
703.36/703.54	c  264s |      22 |  1610407 |  1608622 |      258  12764 |        0 |        0
705.35/705.54	c  266s |      22 |  1622407 |  1620622 |      258  12840 |        0 |        0
707.35/707.55	c  268s |      22 |  1634506 |  1632722 |      258  12916 |        0 |        0
709.36/709.56	c  270s |      22 |  1646506 |  1644722 |      258  12992 |        0 |        0
711.35/711.58	c  272s |      22 |  1658709 |  1656922 |      258  13070 |        0 |        0
713.35/713.58	c  274s |      22 |  1670810 |  1669022 |      258  13146 |        0 |        0
715.35/715.59	c  276s |      22 |  1682811 |  1681022 |      258  13222 |        0 |        0
717.45/717.60	c  278s |      22 |  1694609 |  1692822 |      258  13297 |        0 |        0
719.45/719.60	c  280s |      22 |  1706609 |  1704822 |      258  13373 |        0 |        0
721.46/721.62	c  282s |      22 |  1718608 |  1716822 |      258  13450 |        0 |        0
723.45/723.63	c  284s |      22 |  1730510 |  1728722 |      258  13526 |        0 |        0
725.45/725.64	c  286s |      22 |  1742419 |  1740622 |      258  13602 |        0 |        0
727.45/727.65	c  288s |      22 |  1754222 |  1752422 |      258  13677 |        0 |        0
729.45/729.66	c  290s |      22 |  1765925 |  1764122 |      258  13751 |        0 |        0
731.46/731.68	c  292s |      22 |  1777823 |  1776022 |      258  13827 |        0 |        0
733.45/733.69	c  294s |      22 |  1789629 |  1787822 |      258  13902 |        0 |        0
735.45/735.70	c  296s |      22 |  1801128 |  1799322 |      258  13976 |        0 |        0
737.55/737.71	c  298s |      22 |  1812834 |  1811022 |      258  14050 |        0 |        0
739.55/739.72	c  300s |      22 |  1824428 |  1822622 |      258  14124 |        0 |        0
741.54/741.73	c  302s |      22 |  1836133 |  1834322 |      258  14199 |        0 |        0
743.56/743.74	c  304s |      22 |  1847930 |  1846122 |      258  14275 |        0 |        0
745.55/745.75	c  306s |      22 |  1859637 |  1857822 |      258  14350 |        0 |        0
747.54/747.76	c  308s |      22 |  1871341 |  1869522 |      258  14425 |        0 |        0
749.54/749.77	c  310s |      22 |  1883143 |  1881322 |      258  14501 |        0 |        0
751.54/751.78	c  312s |      22 |  1895053 |  1893222 |      258  14578 |        0 |        0
753.54/753.79	c  314s |      22 |  1906951 |  1905122 |      258  14654 |        0 |        0
755.55/755.79	c  316s |      22 |  1918853 |  1917022 |      258  14730 |        0 |        0
757.64/757.80	c  318s |      22 |  1930657 |  1928822 |      258  14805 |        0 |        0
759.64/759.81	c  320s |      22 |  1942456 |  1940622 |      258  14881 |        0 |        0
761.63/761.82	c  322s |      22 |  1954263 |  1952422 |      258  14957 |        0 |        0
763.63/763.83	c  324s |      22 |  1966067 |  1964222 |      258  15033 |        0 |        0
765.63/765.84	c  326s |      22 |  1978068 |  1976222 |      258  15109 |        0 |        0
767.65/767.85	c  328s |      22 |  1990071 |  1988222 |      258  15186 |        0 |        0
769.63/769.86	c  330s |      22 |  2002068 |  2000222 |      258  15264 |        0 |        0
771.63/771.88	c  332s |      22 |  2013974 |  2012122 |      258  15340 |        0 |        0
773.63/773.88	c  334s |      22 |  2025684 |  2023822 |      258  15416 |        0 |        0
775.63/775.88	c  336s |      22 |  2037482 |  2035622 |      258  15493 |        0 |        0
777.65/777.89	c  338s |      22 |  2049286 |  2047422 |      258  15569 |        0 |        0
779.63/779.89	c  340s |      22 |  2061089 |  2059222 |      258  15647 |        0 |        0
781.73/781.90	c  342s |      22 |  2073399 |  2071522 |      258  15725 |        0 |        0
783.74/783.90	c  344s |      22 |  2086093 |  2084222 |      258  15805 |        0 |        0
785.74/785.92	c  346s |      22 |  2098800 |  2096922 |      258  15886 |        0 |        0
787.73/787.92	c  348s |      22 |  2111097 |  2109222 |      258  15964 |        0 |        0
789.75/789.93	c  350s |      22 |  2123297 |  2121422 |      258  16041 |        0 |        0
791.73/791.93	c  352s |      22 |  2135294 |  2133422 |      258  16117 |        0 |        0
793.73/793.95	c  354s |      22 |  2146994 |  2145122 |      258  16192 |        0 |        0
795.73/795.95	c  356s |      22 |  2158798 |  2156922 |      258  16268 |        0 |        0
797.73/797.95	c  358s |      22 |  2171102 |  2169222 |      258  16346 |        0 |        0
799.73/799.96	c  360s |      22 |  2183299 |  2181422 |      258  16423 |        0 |        0
801.74/801.96	c  362s |      22 |  2195597 |  2193722 |      258  16501 |        0 |        0
803.73/803.97	c  364s |      22 |  2207697 |  2205822 |      258  16578 |        0 |        0
805.73/805.98	c  366s |      22 |  2219998 |  2218122 |      258  16657 |        0 |        0
807.73/807.99	c  368s |      22 |  2232397 |  2230522 |      258  16736 |        0 |        0
809.83/810.00	c  370s |      22 |  2244594 |  2242722 |      284  16809 |        0 |        0
811.13/811.38	c  371s |      23 |  2252913 |  2251038 |      284  16858 |        0 |        0
813.13/813.39	c  373s |      23 |  2264738 |  2262838 |      284  16927 |        0 |        0
815.13/815.39	c  375s |      23 |  2276539 |  2274638 |      284  16996 |        0 |        0
817.24/817.41	c  377s |      23 |  2288339 |  2286438 |      284  17064 |        0 |        0
819.23/819.41	c  379s |      23 |  2300135 |  2298238 |      284  17134 |        0 |        0
821.23/821.42	c  381s |      23 |  2311948 |  2310038 |      284  17203 |        0 |        0
823.23/823.44	c  383s |      23 |  2323746 |  2321838 |      284  17272 |        0 |        0
825.23/825.44	c  385s |      23 |  2335349 |  2333438 |      284  17340 |        0 |        0
827.23/827.44	c  387s |      23 |  2347149 |  2345238 |      284  17410 |        0 |        0
829.23/829.46	c  389s |      23 |  2358949 |  2357038 |      284  17480 |        0 |        0
831.23/831.46	c  391s |      23 |  2370849 |  2368938 |      284  17551 |        0 |        0
833.22/833.47	c  393s |      23 |  2382256 |  2380338 |      284  17617 |        0 |        0
835.22/835.48	c  395s |      23 |  2393758 |  2391838 |      284  17685 |        0 |        0
837.23/837.48	c  397s |      23 |  2405358 |  2403438 |      284  17753 |        0 |        0
839.33/839.50	c  399s |      23 |  2417363 |  2415438 |      284  17824 |        0 |        0
841.23/841.50	c  401s |      23 |  2429266 |  2427338 |      284  17894 |        0 |        0
843.33/843.51	c  403s |      23 |  2441274 |  2439338 |      284  17965 |        0 |        0
845.32/845.52	c  405s |      23 |  2453283 |  2451338 |      284  18036 |        0 |        0
847.32/847.53	c  407s |      23 |  2465181 |  2463238 |      284  18107 |        0 |        0
849.32/849.55	c  410s |      23 |  2477286 |  2475338 |      284  18179 |        0 |        0
851.33/851.55	c  412s |      23 |  2489290 |  2487338 |      284  18249 |        0 |        0
853.33/853.56	c  414s |      23 |  2501600 |  2499638 |      284  18321 |        0 |        0
855.33/855.57	c  416s |      23 |  2513826 |  2511838 |      284  18392 |        0 |        0
857.33/857.57	c  418s |      23 |  2525849 |  2523838 |      284  18462 |        0 |        0
859.33/859.57	c  420s |      23 |  2537756 |  2535738 |      284  18532 |        0 |        0
861.33/861.58	c  422s |      23 |  2549868 |  2547838 |      284  18603 |        0 |        0
863.33/863.59	c  424s |      23 |  2561868 |  2559838 |      284  18673 |        0 |        0
865.42/865.61	c  426s |      23 |  2573881 |  2571838 |      284  18744 |        0 |        0
867.42/867.61	c  428s |      23 |  2585997 |  2583938 |      284  18816 |        0 |        0
869.42/869.61	c  430s |      23 |  2597898 |  2595838 |      284  18887 |        0 |        0
871.42/871.62	c  432s |      23 |  2609599 |  2607538 |      284  18956 |        0 |        0
873.42/873.63	c  434s |      23 |  2621503 |  2619438 |      284  19026 |        0 |        0
875.43/875.64	c  436s |      23 |  2633705 |  2631638 |      284  19097 |        0 |        0
877.42/877.65	c  438s |      23 |  2645807 |  2643738 |      284  19168 |        0 |        0
879.42/879.66	c  440s |      23 |  2657914 |  2655838 |      284  19240 |        0 |        0
881.42/881.66	c  442s |      23 |  2670016 |  2667938 |      284  19310 |        0 |        0
883.42/883.67	c  444s |      23 |  2682110 |  2680038 |      284  19381 |        0 |        0
885.43/885.68	c  446s |      23 |  2694111 |  2692038 |      284  19452 |        0 |        0
887.42/887.70	c  448s |      23 |  2706210 |  2704138 |      284  19523 |        0 |        0
889.52/889.70	c  450s |      23 |  2718714 |  2716638 |      284  19596 |        0 |        0
891.52/891.71	c  452s |      23 |  2731113 |  2729038 |      284  19669 |        0 |        0
893.52/893.72	c  454s |      23 |  2743118 |  2741038 |      284  19740 |        0 |        0
895.52/895.73	c  456s |      23 |  2755027 |  2752938 |      284  19811 |        0 |        0
897.53/897.75	c  458s |      23 |  2766722 |  2764638 |      284  19880 |        0 |        0
899.51/899.76	c  460s |      23 |  2778926 |  2776838 |      284  19952 |        0 |        0
901.51/901.76	c  462s |      23 |  2791130 |  2789038 |      284  20024 |        0 |        0
903.52/903.77	c  464s |      23 |  2803624 |  2801538 |      284  20099 |        0 |        0
905.52/905.78	c  466s |      23 |  2815732 |  2813638 |      284  20170 |        0 |        0
907.52/907.78	c  468s |      23 |  2827530 |  2825438 |      284  20239 |        0 |        0
909.53/909.79	c  470s |      23 |  2839432 |  2837338 |      284  20309 |        0 |        0
911.51/911.79	c  472s |      23 |  2851331 |  2849238 |      284  20379 |        0 |        0
913.61/913.80	c  474s |      23 |  2862933 |  2860838 |      284  20447 |        0 |        0
915.61/915.81	c  476s |      23 |  2874834 |  2872738 |      284  20517 |        0 |        0
917.61/917.82	c  478s |      23 |  2886737 |  2884638 |      284  20588 |        0 |        0
919.61/919.83	c  480s |      23 |  2898941 |  2896838 |      284  20660 |        0 |        0
921.62/921.84	c  482s |      23 |  2911138 |  2909038 |      284  20732 |        0 |        0
923.61/923.85	c  484s |      23 |  2923037 |  2920938 |      284  20802 |        0 |        0
925.62/925.85	c  486s |      23 |  2935038 |  2932938 |      284  20873 |        0 |        0
927.62/927.86	c  488s |      23 |  2946938 |  2944838 |      284  20943 |        0 |        0
929.62/929.86	c  490s |      23 |  2958639 |  2956538 |      284  21013 |        0 |        0
931.63/931.87	c  492s |      23 |  2970443 |  2968338 |      284  21083 |        0 |        0
933.62/933.89	c  494s |      23 |  2982345 |  2980238 |      284  21154 |        0 |        0
935.61/935.89	c  496s |      23 |  2994149 |  2992038 |      284  21223 |        0 |        0
937.71/937.91	c  498s |      23 |  3006146 |  3004038 |      284  21294 |        0 |        0
939.71/939.92	c  500s |      23 |  3018055 |  3015938 |      284  21363 |        0 |        0
941.71/941.93	c  502s |      23 |  3029852 |  3027738 |      284  21432 |        0 |        0
943.72/943.94	c  504s |      23 |  3041758 |  3039638 |      284  21502 |        0 |        0
945.71/945.94	c  506s |      23 |  3053559 |  3051438 |      284  21571 |        0 |        0
947.71/947.96	c  508s |      23 |  3065459 |  3063338 |      284  21641 |        0 |        0
949.71/949.97	c  510s |      23 |  3077357 |  3075238 |      284  21711 |        0 |        0
951.71/951.97	c  512s |      23 |  3089062 |  3086938 |      284  21780 |        0 |        0
953.71/953.97	c  514s |      23 |  3100765 |  3098638 |      284  21849 |        0 |        0
955.72/955.98	c  516s |      23 |  3112468 |  3110338 |      284  21918 |        0 |        0
957.71/957.99	c  518s |      23 |  3124270 |  3122138 |      284  21989 |        0 |        0
959.70/959.99	c  520s |      23 |  3136074 |  3133938 |      284  22058 |        0 |        0
961.70/962.00	c  522s |      23 |  3147772 |  3145638 |      284  22128 |        0 |        0
963.81/964.01	c  524s |      23 |  3159375 |  3157238 |      284  22197 |        0 |        0
965.81/966.01	c  526s |      23 |  3171279 |  3169138 |      284  22268 |        0 |        0
967.81/968.02	c  528s |      23 |  3183479 |  3181338 |      284  22340 |        0 |        0
969.80/970.03	c  530s |      23 |  3195480 |  3193338 |      284  22410 |        0 |        0
971.81/972.03	c  532s |      23 |  3207479 |  3205338 |      284  22481 |        0 |        0
973.81/974.03	c  534s |      23 |  3219379 |  3217238 |      284  22552 |        0 |        0
975.80/976.04	c  536s |      23 |  3231578 |  3229438 |      284  22624 |        0 |        0
977.81/978.05	c  538s |      23 |  3243478 |  3241338 |      284  22695 |        0 |        0
979.81/980.06	c  540s |      23 |  3255078 |  3252938 |      284  22764 |        0 |        0
981.81/982.06	c  542s |      23 |  3266781 |  3264638 |      284  22833 |        0 |        0
983.80/984.08	c  544s |      23 |  3278584 |  3276438 |      284  22903 |        0 |        0
985.80/986.08	c  546s |      23 |  3290381 |  3288238 |      284  22974 |        0 |        0
987.91/988.10	c  548s |      23 |  3302390 |  3300238 |      284  23045 |        0 |        0
989.81/990.11	c  550s |      23 |  3314486 |  3312338 |      284  23115 |        0 |        0
991.90/992.11	c  552s |      23 |  3326393 |  3324238 |      284  23185 |        0 |        0
993.90/994.11	c  554s |      23 |  3338321 |  3336138 |      284  23255 |        0 |        0
995.90/996.13	c  556s |      23 |  3350128 |  3347938 |      284  23324 |        0 |        0
997.90/998.14	c  558s |      23 |  3362026 |  3359838 |      313  23391 |        0 |        0
999.90/1000.15	c  560s |      23 |  3373828 |  3371638 |      313  23455 |        0 |        0
1000.81/1001.01	c  561s |      24 |  3378851 |  3376662 |      313  23482 |        0 |        0
1002.80/1003.02	c  563s |      24 |  3390873 |  3388662 |      313  23547 |        0 |        0
1004.80/1005.04	c  565s |      24 |  3402973 |  3400762 |      313  23612 |        0 |        0
1006.80/1007.05	c  567s |      24 |  3415104 |  3412862 |      313  23678 |        0 |        0
1008.80/1009.05	c  569s |      24 |  3426913 |  3424662 |      313  23742 |        0 |        0
1010.81/1011.07	c  571s |      24 |  3438917 |  3436662 |      313  23808 |        0 |        0
1012.80/1013.08	c  573s |      24 |  3450831 |  3448562 |      313  23873 |        0 |        0
1014.90/1015.10	c  575s |      24 |  3462536 |  3460262 |      313  23937 |        0 |        0
1016.90/1017.10	c  577s |      24 |  3474535 |  3472262 |      313  24002 |        0 |        0
1018.90/1019.11	c  579s |      24 |  3486433 |  3484162 |      313  24066 |        0 |        0
1020.90/1021.12	c  581s |      24 |  3498138 |  3495862 |      313  24130 |        0 |        0
1022.91/1023.13	c  583s |      24 |  3510046 |  3507762 |      313  24195 |        0 |        0
1024.89/1025.14	c  585s |      24 |  3521842 |  3519562 |      313  24260 |        0 |        0
1026.89/1027.14	c  587s |      24 |  3533444 |  3531162 |      313  24323 |        0 |        0
1028.90/1029.14	c  589s |      24 |  3545246 |  3542962 |      313  24386 |        0 |        0
1030.90/1031.15	c  591s |      24 |  3556943 |  3554662 |      313  24450 |        0 |        0
1032.90/1033.16	c  593s |      24 |  3568845 |  3566562 |      313  24515 |        0 |        0
1034.91/1035.17	c  595s |      24 |  3580546 |  3578262 |      313  24579 |        0 |        0
1036.89/1037.17	c  597s |      24 |  3592244 |  3589962 |      313  24643 |        0 |        0
1038.89/1039.19	c  599s |      24 |  3604160 |  3601862 |      313  24708 |        0 |        0
1040.99/1041.20	c  601s |      24 |  3615864 |  3613562 |      313  24771 |        0 |        0
1042.99/1043.20	c  603s |      24 |  3627585 |  3625262 |      313  24835 |        0 |        0
1044.99/1045.21	c  605s |      24 |  3639286 |  3636962 |      313  24899 |        0 |        0
1047.00/1047.21	c  607s |      24 |  3651087 |  3648762 |      313  24964 |        0 |        0
1049.00/1049.23	c  609s |      24 |  3662991 |  3660662 |      313  25028 |        0 |        0
1051.00/1051.24	c  611s |      24 |  3674898 |  3672562 |      313  25094 |        0 |        0
1053.00/1053.26	c  613s |      24 |  3686715 |  3684362 |      313  25159 |        0 |        0
1054.99/1055.27	c  615s |      24 |  3698525 |  3696162 |      313  25224 |        0 |        0
1057.00/1057.28	c  617s |      24 |  3710224 |  3707862 |      313  25288 |        0 |        0
1058.99/1059.28	c  619s |      24 |  3722038 |  3719662 |      313  25352 |        0 |        0
1060.99/1061.29	c  621s |      24 |  3733744 |  3731362 |      313  25417 |        0 |        0
1063.10/1063.30	c  623s |      24 |  3745459 |  3743062 |      313  25481 |        0 |        0
1065.09/1065.31	c  625s |      24 |  3757368 |  3754962 |      313  25547 |        0 |        0
1067.09/1067.32	c  627s |      24 |  3769179 |  3766762 |      313  25611 |        0 |        0
1069.10/1069.33	c  629s |      24 |  3780980 |  3778562 |      313  25676 |        0 |        0
1071.09/1071.35	c  631s |      24 |  3792880 |  3790462 |      313  25741 |        0 |        0
1073.09/1073.35	c  633s |      24 |  3804483 |  3802062 |      313  25804 |        0 |        0
1075.09/1075.36	c  635s |      24 |  3816391 |  3813962 |      313  25870 |        0 |        0
1077.09/1077.38	c  637s |      24 |  3828595 |  3826162 |      313  25936 |        0 |        0
1079.08/1079.38	c  639s |      24 |  3840615 |  3838162 |      313  26002 |        0 |        0
1081.09/1081.40	c  641s |      24 |  3852742 |  3850262 |      313  26069 |        0 |        0
1083.19/1083.41	c  643s |      24 |  3864846 |  3862362 |      313  26136 |        0 |        0
1085.19/1085.41	c  645s |      24 |  3876661 |  3874162 |      313  26201 |        0 |        0
1087.19/1087.42	c  647s |      24 |  3888466 |  3885962 |      313  26266 |        0 |        0
1089.19/1089.43	c  649s |      24 |  3900369 |  3897862 |      313  26332 |        0 |        0
1091.18/1091.45	c  651s |      24 |  3912273 |  3909762 |      313  26395 |        0 |        0
1093.20/1093.45	c  653s |      24 |  3923980 |  3921462 |      313  26459 |        0 |        0
1095.18/1095.47	c  655s |      24 |  3935780 |  3933262 |      313  26522 |        0 |        0
1097.18/1097.47	c  657s |      24 |  3947579 |  3945062 |      313  26586 |        0 |        0
1099.19/1099.48	c  659s |      24 |  3959281 |  3956762 |      313  26650 |        0 |        0
1101.19/1101.48	c  661s |      24 |  3970984 |  3968462 |      313  26713 |        0 |        0
1103.28/1103.50	c  663s |      24 |  3982798 |  3980262 |      313  26777 |        0 |        0
1105.18/1105.50	c  665s |      24 |  3994596 |  3992062 |      313  26842 |        0 |        0
1107.29/1107.51	c  667s |      24 |  4006403 |  4003862 |      313  26906 |        0 |        0
1109.29/1109.51	c  669s |      24 |  4018199 |  4015662 |      313  26970 |        0 |        0
1111.28/1111.53	c  671s |      24 |  4030001 |  4027462 |      313  27035 |        0 |        0
1113.28/1113.54	c  674s |      24 |  4041905 |  4039362 |      313  27100 |        0 |        0
1115.29/1115.54	c  676s |      24 |  4053702 |  4051162 |      313  27165 |        0 |        0
1117.28/1117.54	c  678s |      24 |  4065411 |  4062862 |      313  27229 |        0 |        0
1119.28/1119.56	c  680s |      24 |  4077216 |  4074662 |      313  27294 |        0 |        0
1121.29/1121.57	c  682s |      24 |  4089016 |  4086462 |      313  27358 |        0 |        0
1123.29/1123.57	c  684s |      24 |  4100719 |  4098162 |      313  27422 |        0 |        0
1125.28/1125.58	c  686s |      24 |  4112422 |  4109862 |      313  27485 |        0 |        0
1127.29/1127.58	c  688s |      24 |  4124129 |  4121562 |      313  27549 |        0 |        0
1129.28/1129.59	c  690s |      24 |  4135935 |  4133362 |      313  27613 |        0 |        0
1131.38/1131.61	c  692s |      24 |  4147837 |  4145262 |      313  27678 |        0 |        0
1133.38/1133.62	c  694s |      24 |  4159545 |  4156962 |      313  27742 |        0 |        0
1135.38/1135.62	c  696s |      24 |  4171349 |  4168762 |      313  27807 |        0 |        0
1137.38/1137.62	c  698s |      24 |  4183054 |  4180462 |      313  27871 |        0 |        0
1139.39/1139.64	c  700s |      24 |  4194857 |  4192262 |      313  27936 |        0 |        0
1141.38/1141.65	c  702s |      24 |  4206666 |  4204062 |      313  28000 |        0 |        0
1143.38/1143.65	c  704s |      24 |  4218264 |  4215662 |      313  28064 |        0 |        0
1145.38/1145.66	c  706s |      24 |  4229969 |  4227362 |      313  28128 |        0 |        0
1147.38/1147.67	c  708s |      24 |  4241768 |  4239162 |      313  28193 |        0 |        0
1149.38/1149.67	c  710s |      24 |  4253672 |  4251062 |      313  28258 |        0 |        0
1151.38/1151.69	c  712s |      24 |  4265670 |  4263062 |      313  28324 |        0 |        0
1153.48/1153.70	c  714s |      24 |  4277675 |  4275062 |      313  28391 |        0 |        0
1155.48/1155.71	c  716s |      24 |  4289785 |  4287162 |      313  28457 |        0 |        0
1157.47/1157.72	c  718s |      24 |  4301883 |  4299262 |      313  28522 |        0 |        0
1159.48/1159.73	c  720s |      24 |  4314087 |  4311462 |      313  28588 |        0 |        0
1161.48/1161.73	c  722s |      24 |  4326086 |  4323462 |      313  28653 |        0 |        0
1163.47/1163.74	c  724s |      24 |  4337892 |  4335262 |      313  28717 |        0 |        0
1165.48/1165.74	c  726s |      24 |  4349710 |  4347062 |      313  28781 |        0 |        0
1167.48/1167.75	c  728s |      24 |  4361425 |  4358762 |      313  28844 |        0 |        0
1169.48/1169.75	c  730s |      24 |  4373235 |  4370562 |      313  28909 |        0 |        0
1171.48/1171.75	c  732s |      24 |  4385240 |  4382562 |      313  28974 |        0 |        0
1173.49/1173.76	c  734s |      24 |  4397059 |  4394362 |      313  29038 |        0 |        0
1175.47/1175.77	c  736s |      24 |  4408869 |  4406162 |      313  29103 |        0 |        0
1177.47/1177.77	c  738s |      24 |  4420670 |  4417962 |      313  29167 |        0 |        0
1179.47/1179.78	c  740s |      24 |  4432569 |  4429862 |      313  29232 |        0 |        0
1181.47/1181.79	c  742s |      24 |  4444573 |  4441862 |      313  29297 |        0 |        0
1183.57/1183.80	c  744s |      24 |  4456489 |  4453762 |      313  29362 |        0 |        0
1185.48/1185.81	c  746s |      24 |  4468387 |  4465662 |      313  29427 |        0 |        0
1187.58/1187.81	c  748s |      24 |  4480290 |  4477562 |      313  29492 |        0 |        0
1189.57/1189.82	c  750s |      24 |  4492192 |  4489462 |      313  29558 |        0 |        0
1191.57/1191.82	c  752s |      24 |  4503994 |  4501262 |      313  29622 |        0 |        0
1193.57/1193.83	c  754s |      24 |  4515695 |  4512962 |      313  29685 |        0 |        0
1195.58/1195.85	c  756s |      24 |  4527399 |  4524662 |      313  29748 |        0 |        0
1197.57/1197.86	c  758s |      24 |  4539001 |  4536262 |      313  29812 |        0 |        0
1199.57/1199.86	c  760s |      24 |  4550805 |  4548062 |      313  29876 |        0 |        0
1201.57/1201.87	c  762s |      24 |  4562705 |  4559962 |      313  29941 |        0 |        0
1203.57/1203.87	c  764s |      24 |  4574603 |  4571862 |      313  30006 |        0 |        0
1205.57/1205.88	c  766s |      24 |  4586313 |  4583562 |      313  30070 |        0 |        0
1207.58/1207.89	c  768s |      24 |  4597806 |  4595062 |      313  30133 |        0 |        0
1209.67/1209.90	c  770s |      24 |  4609512 |  4606762 |      313  30197 |        0 |        0
1211.67/1211.90	c  772s |      24 |  4621115 |  4618362 |      313  30260 |        0 |        0
1213.66/1213.92	c  774s |      24 |  4632714 |  4629962 |      313  30324 |        0 |        0
1215.67/1215.93	c  776s |      24 |  4644212 |  4641462 |      313  30386 |        0 |        0
1217.67/1217.93	c  778s |      24 |  4655913 |  4653162 |      313  30450 |        0 |        0
1219.68/1219.94	c  780s |      24 |  4667615 |  4664862 |      313  30515 |        0 |        0
1221.66/1221.95	c  782s |      24 |  4679312 |  4676562 |      313  30579 |        0 |        0
1223.67/1223.95	c  784s |      24 |  4691219 |  4688462 |      313  30645 |        0 |        0
1225.67/1225.96	c  786s |      24 |  4703018 |  4700262 |      313  30709 |        0 |        0
1227.67/1227.98	c  788s |      24 |  4715115 |  4712362 |      313  30775 |        0 |        0
1229.67/1229.98	c  790s |      24 |  4726921 |  4724162 |      313  30840 |        0 |        0
1231.66/1231.99	c  792s |      24 |  4738817 |  4736062 |      313  30906 |        0 |        0
1233.76/1234.00	c  794s |      24 |  4750527 |  4747762 |      313  30970 |        0 |        0
1235.77/1236.01	c  796s |      24 |  4762232 |  4759462 |      313  31034 |        0 |        0
1237.76/1238.02	c  798s |      24 |  4773932 |  4771162 |      313  31098 |        0 |        0
1239.76/1240.02	c  800s |      24 |  4785735 |  4782962 |      313  31163 |        0 |        0
1241.77/1242.02	c  802s |      24 |  4797537 |  4794762 |      313  31228 |        0 |        0
1243.76/1244.04	c  804s |      24 |  4809439 |  4806662 |      313  31294 |        0 |        0
1245.77/1246.04	c  806s |      24 |  4821338 |  4818562 |      313  31360 |        0 |        0
1247.76/1248.05	c  808s |      24 |  4833146 |  4830362 |      313  31426 |        0 |        0
1249.76/1250.06	c  810s |      24 |  4845053 |  4842262 |      313  31492 |        0 |        0
1251.77/1252.08	c  812s |      24 |  4857256 |  4854462 |      313  31559 |        0 |        0
1253.77/1254.10	c  814s |      24 |  4869456 |  4866662 |      313  31627 |        0 |        0
1255.86/1256.10	c  816s |      24 |  4881252 |  4878462 |      313  31692 |        0 |        0
1257.86/1258.11	c  818s |      24 |  4893052 |  4890262 |      313  31758 |        0 |        0
1259.86/1260.12	c  820s |      24 |  4904759 |  4901962 |      313  31823 |        0 |        0
1261.86/1262.13	c  822s |      24 |  4916553 |  4913762 |      313  31888 |        0 |        0
1263.86/1264.14	c  824s |      24 |  4928461 |  4925662 |      313  31954 |        0 |        0
1265.87/1266.16	c  826s |      24 |  4940161 |  4937362 |      313  32017 |        0 |        0
1267.86/1268.17	c  828s |      24 |  4951863 |  4949062 |      313  32080 |        0 |        0
1269.86/1270.18	c  830s |      24 |  4963471 |  4960662 |      313  32144 |        0 |        0
1271.86/1272.19	c  832s |      24 |  4974978 |  4972162 |      313  32206 |        0 |        0
1273.86/1274.19	c  834s |      24 |  4986580 |  4983762 |      313  32269 |        0 |        0
1275.96/1276.21	c  836s |      24 |  4998387 |  4995562 |      313  32333 |        0 |        0
1277.97/1278.22	c  838s |      24 |  5010198 |  5007362 |      313  32398 |        0 |        0
1279.95/1280.22	c  840s |      24 |  5021909 |  5019062 |      313  32462 |        0 |        0
1281.96/1282.24	c  842s |      24 |  5033906 |  5031062 |      345  32527 |        0 |        0
1283.95/1284.24	c  844s |      24 |  5045512 |  5042662 |      345  32585 |        0 |        0
1285.96/1286.24	c  846s |      24 |  5057011 |  5054162 |      345  32643 |        0 |        0
1287.76/1288.10	c  848s |      25 |  5067953 |  5065098 |      345  32698 |        0 |        0
1289.86/1290.10	c  850s |      25 |  5080088 |  5077198 |      345  32757 |        0 |        0
1291.86/1292.11	c  852s |      25 |  5092088 |  5089198 |      345  32817 |        0 |        0
1293.86/1294.12	c  854s |      25 |  5103992 |  5101098 |      345  32875 |        0 |        0
1295.86/1296.12	c  856s |      25 |  5115713 |  5112798 |      345  32934 |        0 |        0
1297.87/1298.14	c  858s |      25 |  5127426 |  5124498 |      345  32992 |        0 |        0
1299.85/1300.14	c  860s |      25 |  5139231 |  5136298 |      345  33050 |        0 |        0
1301.85/1302.14	c  862s |      25 |  5150935 |  5147998 |      345  33108 |        0 |        0
1303.85/1304.15	c  864s |      25 |  5162338 |  5159398 |      345  33164 |        0 |        0
1305.86/1306.17	c  866s |      25 |  5173842 |  5170898 |      345  33221 |        0 |        0
1307.86/1308.17	c  868s |      25 |  5185254 |  5182298 |      345  33278 |        0 |        0
1309.87/1310.19	c  870s |      25 |  5196661 |  5193698 |      345  33335 |        0 |        0
1311.96/1312.21	c  872s |      25 |  5208171 |  5205198 |      345  33393 |        0 |        0
1313.95/1314.22	c  874s |      25 |  5219781 |  5216798 |      345  33450 |        0 |        0
1315.95/1316.23	c  876s |      25 |  5231089 |  5228098 |      345  33506 |        0 |        0
1317.96/1318.25	c  878s |      25 |  5242592 |  5239598 |      345  33563 |        0 |        0
1319.95/1320.26	c  880s |      25 |  5253898 |  5250898 |      345  33619 |        0 |        0
1321.96/1322.27	c  882s |      25 |  5265314 |  5262298 |      345  33676 |        0 |        0
1323.95/1324.28	c  884s |      25 |  5277023 |  5273998 |      345  33734 |        0 |        0
1325.95/1326.29	c  886s |      25 |  5288638 |  5285598 |      345  33792 |        0 |        0
1328.06/1328.30	c  888s |      25 |  5300252 |  5297198 |      345  33850 |        0 |        0
1330.06/1330.32	c  890s |      25 |  5311965 |  5308898 |      345  33908 |        0 |        0
1332.05/1332.33	c  892s |      25 |  5323681 |  5320598 |      345  33967 |        0 |        0
1334.06/1334.33	c  894s |      25 |  5335294 |  5332198 |      345  34025 |        0 |        0
1336.05/1336.34	c  896s |      25 |  5347010 |  5343898 |      345  34083 |        0 |        0
1338.05/1338.34	c  898s |      25 |  5358605 |  5355498 |      345  34141 |        0 |        0
1340.05/1340.34	c  900s |      25 |  5370123 |  5366998 |      345  34199 |        0 |        0
1342.05/1342.35	c  902s |      25 |  5381728 |  5378598 |      345  34257 |        0 |        0
1344.06/1344.36	c  904s |      25 |  5393345 |  5390198 |      345  34316 |        0 |        0
1346.04/1346.38	c  906s |      25 |  5405153 |  5401998 |      345  34374 |        0 |        0
1348.04/1348.38	c  908s |      25 |  5416750 |  5413598 |      345  34432 |        0 |        0
1350.05/1350.38	c  910s |      25 |  5428052 |  5424898 |      345  34488 |        0 |        0
1352.05/1352.39	c  912s |      25 |  5439456 |  5436298 |      345  34544 |        0 |        0
1354.05/1354.39	c  914s |      25 |  5450859 |  5447698 |      345  34601 |        0 |        0
1356.06/1356.40	c  916s |      25 |  5462368 |  5459198 |      345  34658 |        0 |        0
1358.15/1358.42	c  918s |      25 |  5473994 |  5470798 |      345  34717 |        0 |        0
1360.14/1360.43	c  920s |      25 |  5485501 |  5482298 |      345  34774 |        0 |        0
1362.14/1362.43	c  922s |      25 |  5497003 |  5493798 |      345  34832 |        0 |        0
1364.15/1364.44	c  924s |      25 |  5508510 |  5505298 |      345  34889 |        0 |        0
1366.15/1366.46	c  926s |      25 |  5520118 |  5516898 |      345  34947 |        0 |        0
1368.16/1368.47	c  928s |      25 |  5531732 |  5528498 |      345  35005 |        0 |        0
1370.15/1370.47	c  930s |      25 |  5543132 |  5539898 |      345  35062 |        0 |        0
1372.14/1372.47	c  932s |      25 |  5554747 |  5551498 |      345  35120 |        0 |        0
1374.14/1374.48	c  934s |      25 |  5566467 |  5563198 |      345  35179 |        0 |        0
1376.14/1376.48	c  936s |      25 |  5578064 |  5574798 |      345  35237 |        0 |        0
1378.16/1378.49	c  938s |      25 |  5589882 |  5586598 |      345  35296 |        0 |        0
1380.26/1380.51	c  940s |      25 |  5601795 |  5598498 |      345  35356 |        0 |        0
1382.25/1382.52	c  942s |      25 |  5613603 |  5610298 |      345  35415 |        0 |        0
1384.25/1384.53	c  944s |      25 |  5625404 |  5622098 |      345  35474 |        0 |        0
1386.24/1386.53	c  946s |      25 |  5637111 |  5633798 |      345  35533 |        0 |        0
1388.24/1388.53	c  949s |      25 |  5648814 |  5645498 |      345  35591 |        0 |        0
1390.25/1390.54	c  951s |      25 |  5660623 |  5657298 |      345  35650 |        0 |        0
1392.25/1392.56	c  953s |      25 |  5672330 |  5668998 |      345  35708 |        0 |        0
1394.25/1394.57	c  955s |      25 |  5683843 |  5680498 |      345  35766 |        0 |        0
1396.24/1396.58	c  957s |      25 |  5695657 |  5692298 |      345  35825 |        0 |        0
1398.34/1398.60	c  959s |      25 |  5707062 |  5703698 |      345  35882 |        0 |        0
1400.34/1400.61	c  961s |      25 |  5718573 |  5715198 |      345  35941 |        0 |        0
1402.35/1402.62	c  963s |      25 |  5730189 |  5726798 |      345  35999 |        0 |        0
1404.34/1404.64	c  965s |      25 |  5741899 |  5738498 |      345  36059 |        0 |        0
1406.34/1406.65	c  967s |      25 |  5753812 |  5750398 |      345  36119 |        0 |        0
1408.34/1408.67	c  969s |      25 |  5765722 |  5762298 |      345  36179 |        0 |        0
1410.34/1410.67	c  971s |      25 |  5777236 |  5773798 |      345  36237 |        0 |        0
1412.34/1412.68	c  973s |      25 |  5788640 |  5785198 |      345  36294 |        0 |        0
1414.34/1414.69	c  975s |      25 |  5800138 |  5796698 |      345  36352 |        0 |        0
1416.44/1416.71	c  977s |      25 |  5811754 |  5808298 |      345  36410 |        0 |        0
1418.43/1418.71	c  979s |      25 |  5823349 |  5819898 |      345  36469 |        0 |        0
1420.43/1420.73	c  981s |      25 |  5834958 |  5831498 |      345  36528 |        0 |        0
1422.43/1422.74	c  983s |      25 |  5846764 |  5843298 |      345  36588 |        0 |        0
1424.43/1424.74	c  985s |      25 |  5858464 |  5854998 |      345  36647 |        0 |        0
1426.45/1426.75	c  987s |      25 |  5870269 |  5866798 |      345  36706 |        0 |        0
1428.44/1428.76	c  989s |      25 |  5881971 |  5878498 |      345  36765 |        0 |        0
1430.43/1430.77	c  991s |      25 |  5893775 |  5890298 |      345  36825 |        0 |        0
1432.44/1432.78	c  993s |      25 |  5905584 |  5902098 |      345  36886 |        0 |        0
1434.44/1434.79	c  995s |      25 |  5917613 |  5914098 |      345  36946 |        0 |        0
1436.53/1436.80	c  997s |      25 |  5929228 |  5925698 |      345  37004 |        0 |        0
1438.54/1438.81	c  999s |      25 |  5940731 |  5937198 |      345  37061 |        0 |        0
1440.53/1440.82	c 1001s |      25 |  5952333 |  5948798 |      345  37119 |        0 |        0
1442.54/1442.83	c 1003s |      25 |  5964040 |  5960498 |      345  37177 |        0 |        0
1444.53/1444.84	c 1005s |      25 |  5975744 |  5972198 |      345  37236 |        0 |        0
1446.53/1446.85	c 1007s |      25 |  5987345 |  5983798 |      345  37294 |        0 |        0
1448.54/1448.85	c 1009s |      25 |  5998558 |  5994998 |      345  37349 |        0 |        0
1450.53/1450.86	c 1011s |      25 |  6009874 |  6006298 |      345  37406 |        0 |        0
1452.53/1452.87	c 1013s |      25 |  6021293 |  6017698 |      345  37463 |        0 |        0
1454.54/1454.89	c 1015s |      25 |  6032609 |  6028998 |      345  37520 |        0 |        0
1456.53/1456.89	c 1017s |      25 |  6044120 |  6040498 |      345  37577 |        0 |        0
1458.63/1458.90	c 1019s |      25 |  6055732 |  6052098 |      345  37635 |        0 |        0
1460.64/1460.91	c 1021s |      25 |  6067242 |  6063598 |      345  37693 |        0 |        0
1462.63/1462.92	c 1023s |      25 |  6078754 |  6075098 |      345  37750 |        0 |        0
1464.63/1464.93	c 1025s |      25 |  6090160 |  6086498 |      345  37807 |        0 |        0
1466.63/1466.94	c 1027s |      25 |  6101567 |  6097898 |      345  37864 |        0 |        0
1468.63/1468.95	c 1029s |      25 |  6113078 |  6109398 |      345  37922 |        0 |        0
1470.63/1470.97	c 1031s |      25 |  6124582 |  6120898 |      345  37979 |        0 |        0
1472.64/1472.98	c 1033s |      25 |  6136107 |  6132398 |      345  38037 |        0 |        0
1474.63/1474.99	c 1035s |      25 |  6147515 |  6143798 |      345  38094 |        0 |        0
1476.73/1477.00	c 1037s |      25 |  6158838 |  6155098 |      345  38151 |        0 |        0
1478.72/1479.01	c 1039s |      25 |  6170258 |  6166498 |      345  38208 |        0 |        0
1480.72/1481.02	c 1041s |      25 |  6181970 |  6178198 |      345  38267 |        0 |        0
1482.73/1483.04	c 1043s |      25 |  6193367 |  6189598 |      345  38325 |        0 |        0
1484.74/1485.04	c 1045s |      25 |  6205282 |  6201498 |      345  38384 |        0 |        0
1486.73/1487.05	c 1047s |      25 |  6217084 |  6213298 |      345  38442 |        0 |        0
1488.73/1489.07	c 1049s |      25 |  6229089 |  6225298 |      345  38502 |        0 |        0
1490.72/1491.07	c 1051s |      25 |  6240689 |  6236898 |      345  38560 |        0 |        0
1492.73/1493.08	c 1053s |      25 |  6252400 |  6248598 |      345  38617 |        0 |        0
1494.74/1495.09	c 1055s |      25 |  6264013 |  6260198 |      345  38675 |        0 |        0
1496.72/1497.09	c 1057s |      25 |  6275622 |  6271798 |      345  38734 |        0 |        0
1498.73/1499.09	c 1059s |      25 |  6287136 |  6283298 |      345  38791 |        0 |        0
1500.72/1501.09	c 1061s |      25 |  6298644 |  6294798 |      345  38848 |        0 |        0
1502.82/1503.11	c 1063s |      25 |  6310150 |  6306298 |      345  38906 |        0 |        0
1504.83/1505.11	c 1065s |      25 |  6321764 |  6317898 |      345  38964 |        0 |        0
1506.84/1507.12	c 1067s |      25 |  6333475 |  6329598 |      345  39023 |        0 |        0
1508.82/1509.13	c 1069s |      25 |  6345078 |  6341198 |      345  39080 |        0 |        0
1510.82/1511.13	c 1071s |      25 |  6356582 |  6352698 |      345  39138 |        0 |        0
1512.82/1513.15	c 1073s |      25 |  6368196 |  6364298 |      345  39196 |        0 |        0
1514.82/1515.16	c 1075s |      25 |  6379803 |  6375898 |      345  39254 |        0 |        0
1516.82/1517.16	c 1077s |      25 |  6391407 |  6387498 |      345  39312 |        0 |        0
1518.83/1519.17	c 1079s |      25 |  6403110 |  6399198 |      345  39371 |        0 |        0
1520.82/1521.18	c 1081s |      25 |  6414614 |  6410698 |      345  39429 |        0 |        0
1522.82/1523.19	c 1083s |      25 |  6426421 |  6422498 |      345  39488 |        0 |        0
1524.92/1525.21	c 1085s |      25 |  6438233 |  6434298 |      345  39547 |        0 |        0
1526.92/1527.21	c 1087s |      25 |  6450035 |  6446098 |      345  39606 |        0 |        0
1528.92/1529.23	c 1089s |      25 |  6461840 |  6457898 |      345  39665 |        0 |        0
1530.93/1531.24	c 1091s |      25 |  6473743 |  6469798 |      345  39725 |        0 |        0
1532.92/1533.25	c 1093s |      25 |  6485449 |  6481498 |      345  39784 |        0 |        0
1534.92/1535.25	c 1095s |      25 |  6496955 |  6492998 |      345  39842 |        0 |        0
1536.92/1537.26	c 1097s |      25 |  6508558 |  6504598 |      345  39900 |        0 |        0
1538.92/1539.26	c 1099s |      25 |  6520166 |  6516198 |      345  39957 |        0 |        0
1540.93/1541.26	c 1101s |      25 |  6531870 |  6527898 |      345  40015 |        0 |        0
1542.92/1543.28	c 1103s |      25 |  6543769 |  6539798 |      345  40075 |        0 |        0
1544.92/1545.28	c 1105s |      25 |  6555369 |  6551398 |      345  40132 |        0 |        0
1547.01/1547.30	c 1107s |      25 |  6567074 |  6563098 |      345  40191 |        0 |        0
1549.02/1549.30	c 1109s |      25 |  6578970 |  6574998 |      345  40250 |        0 |        0
1551.02/1551.30	c 1111s |      25 |  6590772 |  6586798 |      345  40310 |        0 |        0
1553.03/1553.32	c 1113s |      25 |  6602384 |  6598398 |      345  40368 |        0 |        0
1555.01/1555.33	c 1115s |      25 |  6613897 |  6609898 |      345  40425 |        0 |        0
1557.02/1557.34	c 1117s |      25 |  6625612 |  6621598 |      345  40484 |        0 |        0
1559.02/1559.35	c 1119s |      25 |  6637227 |  6633198 |      345  40542 |        0 |        0
1561.02/1561.36	c 1121s |      25 |  6648945 |  6644898 |      345  40601 |        0 |        0
1563.02/1563.37	c 1123s |      25 |  6660449 |  6656398 |      345  40659 |        0 |        0
1565.03/1565.37	c 1125s |      25 |  6671950 |  6667898 |      345  40717 |        0 |        0
1567.01/1567.39	c 1127s |      25 |  6683563 |  6679498 |      345  40775 |        0 |        0
1569.12/1569.40	c 1129s |      25 |  6695076 |  6690998 |      345  40833 |        0 |        0
1571.12/1571.41	c 1131s |      25 |  6706487 |  6702398 |      345  40891 |        0 |        0
1573.11/1573.41	c 1133s |      25 |  6717892 |  6713798 |      345  40948 |        0 |        0
1575.12/1575.41	c 1135s |      25 |  6729198 |  6725098 |      345  41006 |        0 |        0
1577.13/1577.42	c 1137s |      25 |  6740808 |  6736698 |      345  41064 |        0 |        0
1579.12/1579.42	c 1139s |      25 |  6752516 |  6748398 |      345  41123 |        0 |        0
1581.12/1581.42	c 1141s |      25 |  6764347 |  6760198 |      345  41182 |        0 |        0
1583.11/1583.43	c 1143s |      25 |  6776151 |  6771998 |      345  41241 |        0 |        0
1585.11/1585.44	c 1145s |      25 |  6787751 |  6783598 |      345  41300 |        0 |        0
1587.12/1587.45	c 1147s |      25 |  6799450 |  6795298 |      345  41359 |        0 |        0
1589.11/1589.45	c 1149s |      25 |  6811065 |  6806898 |      345  41418 |        0 |        0
1591.11/1591.46	c 1151s |      25 |  6822786 |  6818598 |      345  41477 |        0 |        0
1593.11/1593.47	c 1153s |      25 |  6834289 |  6830098 |      345  41535 |        0 |        0
1595.11/1595.47	c 1155s |      25 |  6845695 |  6841498 |      345  41593 |        0 |        0
1597.11/1597.48	c 1157s |      25 |  6857300 |  6853098 |      345  41651 |        0 |        0
1599.12/1599.48	c 1159s |      25 |  6869112 |  6864898 |      345  41710 |        0 |        0
1601.11/1601.49	c 1161s |      25 |  6881011 |  6876798 |      345  41769 |        0 |        0
1603.21/1603.50	c 1163s |      25 |  6892615 |  6888398 |      345  41828 |        0 |        0
1605.21/1605.52	c 1165s |      25 |  6904312 |  6900098 |      345  41887 |        0 |        0
1607.21/1607.52	c 1167s |      25 |  6915820 |  6911598 |      345  41945 |        0 |        0
1609.20/1609.53	c 1169s |      25 |  6927429 |  6923198 |      345  42003 |        0 |        0
1611.22/1611.53	c 1172s |      25 |  6939031 |  6934798 |      345  42061 |        0 |        0
1613.21/1613.55	c 1174s |      25 |  6950731 |  6946498 |      345  42120 |        0 |        0
1615.20/1615.56	c 1176s |      25 |  6962432 |  6958198 |      345  42179 |        0 |        0
1617.20/1617.58	c 1178s |      25 |  6974147 |  6969898 |      345  42238 |        0 |        0
1619.20/1619.58	c 1180s |      25 |  6985760 |  6981498 |      345  42297 |        0 |        0
1621.21/1621.59	c 1182s |      25 |  6997469 |  6993198 |      345  42357 |        0 |        0
1623.20/1623.59	c 1184s |      25 |  7009075 |  7004798 |      345  42416 |        0 |        0
1625.30/1625.60	c 1186s |      25 |  7020782 |  7016498 |      345  42474 |        0 |        0
1627.30/1627.62	c 1188s |      25 |  7032695 |  7028398 |      345  42534 |        0 |        0
1629.30/1629.62	c 1190s |      25 |  7044592 |  7040298 |      345  42594 |        0 |        0
1631.30/1631.62	c 1192s |      25 |  7056497 |  7052198 |      345  42654 |        0 |        0
1633.30/1633.64	c 1194s |      25 |  7068400 |  7064098 |      345  42714 |        0 |        0
1635.29/1635.64	c 1196s |      25 |  7080301 |  7075998 |      345  42775 |        0 |        0
1637.29/1637.65	c 1198s |      25 |  7092110 |  7087798 |      345  42834 |        0 |        0
1639.29/1639.67	c 1200s |      25 |  7103709 |  7099398 |      345  42893 |        0 |        0
1641.29/1641.68	c 1202s |      25 |  7115318 |  7110998 |      345  42952 |        0 |        0
1643.29/1643.69	c 1204s |      25 |  7127031 |  7122698 |      345  43011 |        0 |        0
1645.30/1645.70	c 1206s |      25 |  7138639 |  7134298 |      345  43070 |        0 |        0
1647.39/1647.71	c 1208s |      25 |  7150248 |  7145898 |      345  43129 |        0 |        0
1649.39/1649.71	c 1210s |      25 |  7161954 |  7157598 |      345  43189 |        0 |        0
1651.39/1651.71	c 1212s |      25 |  7173687 |  7169298 |      345  43248 |        0 |        0
1653.38/1653.73	c 1214s |      25 |  7185602 |  7181198 |      345  43309 |        0 |        0
1655.39/1655.74	c 1216s |      25 |  7197416 |  7192998 |      345  43369 |        0 |        0
1657.39/1657.75	c 1218s |      25 |  7209324 |  7204898 |      345  43430 |        0 |        0
1659.38/1659.76	c 1220s |      25 |  7221520 |  7217098 |      345  43492 |        0 |        0
1661.38/1661.77	c 1222s |      25 |  7233633 |  7229198 |      345  43554 |        0 |        0
1663.38/1663.78	c 1224s |      25 |  7245750 |  7241298 |      345  43616 |        0 |        0
1665.38/1665.78	c 1226s |      25 |  7258079 |  7253598 |      345  43679 |        0 |        0
1667.39/1667.79	c 1228s |      25 |  7270185 |  7265698 |      345  43740 |        0 |        0
1669.38/1669.80	c 1230s |      25 |  7282291 |  7277798 |      345  43800 |        0 |        0
1671.48/1671.82	c 1232s |      25 |  7294593 |  7290098 |      345  43862 |        0 |        0
1673.48/1673.82	c 1234s |      25 |  7306594 |  7302098 |      345  43922 |        0 |        0
1675.47/1675.83	c 1236s |      25 |  7318493 |  7313998 |      345  43982 |        0 |        0
1677.47/1677.83	c 1238s |      25 |  7329901 |  7325398 |      345  44038 |        0 |        0
1679.49/1679.84	c 1240s |      25 |  7341210 |  7336698 |      345  44094 |        0 |        0
1681.48/1681.84	c 1242s |      25 |  7352413 |  7347898 |      345  44150 |        0 |        0
1683.47/1683.85	c 1244s |      25 |  7363625 |  7359098 |      345  44206 |        0 |        0
1685.48/1685.85	c 1246s |      25 |  7374836 |  7370298 |      345  44262 |        0 |        0
1687.47/1687.87	c 1248s |      25 |  7386143 |  7381598 |      345  44318 |        0 |        0
1689.47/1689.89	c 1250s |      25 |  7397646 |  7393098 |      345  44377 |        0 |        0
1691.49/1691.90	c 1252s |      25 |  7408951 |  7404398 |      345  44433 |        0 |        0
1693.57/1693.91	c 1254s |      25 |  7420363 |  7415798 |      345  44490 |        0 |        0
1695.57/1695.93	c 1256s |      25 |  7431679 |  7427098 |      345  44547 |        0 |        0
1697.57/1697.94	c 1258s |      25 |  7442982 |  7438398 |      345  44604 |        0 |        0
1699.57/1699.95	c 1260s |      25 |  7454389 |  7449798 |      345  44662 |        0 |        0
1701.56/1701.96	c 1262s |      25 |  7465799 |  7461198 |      345  44719 |        0 |        0
1703.57/1703.97	c 1264s |      25 |  7477100 |  7472498 |      345  44776 |        0 |        0
1705.56/1705.98	c 1266s |      25 |  7488307 |  7483698 |      345  44832 |        0 |        0
1707.57/1707.98	c 1268s |      25 |  7499612 |  7494998 |      345  44889 |        0 |        0
1709.56/1709.99	c 1270s |      25 |  7510819 |  7506198 |      345  44946 |        0 |        0
1711.56/1711.99	c 1272s |      25 |  7522124 |  7517498 |      345  45003 |        0 |        0
1713.67/1714.00	c 1274s |      25 |  7533524 |  7528898 |      345  45061 |        0 |        0
1715.67/1716.01	c 1276s |      25 |  7544836 |  7540198 |      345  45118 |        0 |        0
1717.66/1718.02	c 1278s |      25 |  7556145 |  7551498 |      380  45172 |        0 |        0
1719.66/1720.03	c 1280s |      25 |  7567343 |  7562698 |      380  45225 |        0 |        0
1721.66/1722.04	c 1282s |      25 |  7578644 |  7573998 |      380  45277 |        0 |        0
1723.66/1724.04	c 1284s |      25 |  7589848 |  7585198 |      380  45330 |        0 |        0
1725.67/1726.05	c 1286s |      25 |  7601049 |  7596398 |      380  45381 |        0 |        0
1725.96/1726.30	c 1286s |      26 |  7602406 |  7597752 |      380  45388 |        0 |        0
1727.96/1728.30	c 1288s |      26 |  7614031 |  7609352 |      380  45440 |        0 |        0
1729.97/1730.31	c 1290s |      26 |  7625534 |  7620852 |      380  45492 |        0 |        0
1731.95/1732.33	c 1292s |      26 |  7637036 |  7632352 |      380  45544 |        0 |        0
1733.95/1734.34	c 1294s |      26 |  7648638 |  7643952 |      380  45597 |        0 |        0
1735.96/1736.34	c 1296s |      26 |  7660434 |  7655752 |      380  45651 |        0 |        0
1737.96/1738.35	c 1298s |      26 |  7672139 |  7667452 |      380  45704 |        0 |        0
1739.97/1740.36	c 1300s |      26 |  7683934 |  7679252 |      380  45757 |        0 |        0
1741.96/1742.37	c 1302s |      26 |  7695536 |  7690852 |      380  45810 |        0 |        0
1743.96/1744.39	c 1304s |      26 |  7707042 |  7702352 |      380  45863 |        0 |        0
1746.05/1746.40	c 1306s |      26 |  7718539 |  7713852 |      380  45915 |        0 |        0
1748.05/1748.41	c 1308s |      26 |  7730238 |  7725552 |      380  45969 |        0 |        0
1750.06/1750.43	c 1310s |      26 |  7741842 |  7737152 |      380  46021 |        0 |        0
1752.06/1752.44	c 1312s |      26 |  7753343 |  7748652 |      380  46074 |        0 |        0
1754.05/1754.46	c 1314s |      26 |  7764840 |  7760152 |      380  46127 |        0 |        0
1756.05/1756.47	c 1316s |      26 |  7776442 |  7771752 |      380  46180 |        0 |        0
1758.05/1758.49	c 1318s |      26 |  7788042 |  7783352 |      380  46233 |        0 |        0
1760.15/1760.50	c 1320s |      26 |  7799646 |  7794952 |      380  46286 |        0 |        0
1762.15/1762.50	c 1322s |      26 |  7811250 |  7806552 |      380  46339 |        0 |        0
1764.06/1764.50	c 1324s |      26 |  7822855 |  7818152 |      380  46392 |        0 |        0
1766.15/1766.51	c 1326s |      26 |  7834557 |  7829852 |      380  46445 |        0 |        0
1768.14/1768.52	c 1328s |      26 |  7846358 |  7841652 |      380  46500 |        0 |        0
1770.15/1770.52	c 1330s |      26 |  7857860 |  7853152 |      380  46552 |        0 |        0
1772.15/1772.53	c 1332s |      26 |  7869365 |  7864652 |      380  46605 |        0 |        0
1774.15/1774.54	c 1335s |      26 |  7881070 |  7876352 |      380  46658 |        0 |        0
1776.16/1776.54	c 1337s |      26 |  7892677 |  7887952 |      380  46711 |        0 |        0
1778.15/1778.55	c 1339s |      26 |  7904375 |  7899652 |      380  46765 |        0 |        0
1780.15/1780.56	c 1341s |      26 |  7916074 |  7911352 |      380  46819 |        0 |        0
1782.15/1782.57	c 1343s |      26 |  7927682 |  7922952 |      380  46872 |        0 |        0
1784.14/1784.58	c 1345s |      26 |  7938982 |  7934252 |      380  46924 |        0 |        0
1786.15/1786.59	c 1347s |      26 |  7950483 |  7945752 |      380  46977 |        0 |        0
1788.14/1788.59	c 1349s |      26 |  7961680 |  7956952 |      380  47029 |        0 |        0
1790.14/1790.60	c 1351s |      26 |  7973484 |  7968752 |      380  47083 |        0 |        0
1792.24/1792.61	c 1353s |      26 |  7985185 |  7980452 |      380  47137 |        0 |        0
1794.24/1794.62	c 1355s |      26 |  7996780 |  7992052 |      380  47191 |        0 |        0
1796.23/1796.63	c 1357s |      26 |  8008584 |  8003852 |      380  47245 |        0 |        0
1798.24/1798.64	c 1359s |      26 |  8020189 |  8015452 |      380  47298 |        0 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=31137
running on 8 cores: 0-3,8-11

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.05 2.04 2/261 31140
/proc/meminfo: memFree=30890968/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1031748 CPUtime=0 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3904 0 0 0 0 0 0 0 20 0 4 0 105590742 1056509952 4776 33554432000 4194304 16246674 140734823573632 140734823573056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 258705 4786 442 2943 0 255599 0
[pid=31140/tid=31141] ppid=31137 vsize=1053252 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1078530048 4860 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1057348 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1082724352 4877 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1062468 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1087967232 4894 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.04 2.05 2.04 2/261 31140
/proc/meminfo: memFree=30890968/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1218116 CPUtime=0.09 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 26458 0 0 0 6 3 0 0 20 0 4 0 105590742 1247350784 27322 33554432000 4194304 16246674 140734823573632 140734823573056 12653060 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 304529 27328 602 2943 0 301423 0
[pid=31140/tid=31141] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 27333 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 27339 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 27345 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.04 2.05 2.04 2/261 31140
/proc/meminfo: memFree=30890968/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1218116 CPUtime=0.19 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 49075 0 0 0 13 6 0 0 20 0 4 0 105590742 1247350784 49938 33554432000 4194304 16246674 140734823573632 140734823573056 12657222 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 304529 49943 602 2943 0 301423 0
[pid=31140/tid=31141] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 49946 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 49950 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 49954 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300432 s]
/proc/loadavg: 2.04 2.05 2.04 2/261 31140
/proc/meminfo: memFree=30890968/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1218116 CPUtime=0.29 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 73173 0 0 0 20 9 0 0 20 0 4 0 105590742 1247350784 74037 33554432000 4194304 16246674 140734823573632 140734823555520 12654533 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 304529 74052 602 2943 0 301423 0
[pid=31140/tid=31141] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 74061 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 74070 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 74079 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700392 s]
/proc/loadavg: 2.04 2.05 2.04 2/261 31140
/proc/meminfo: memFree=30890968/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1218116 CPUtime=0.69 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 162464 0 0 0 49 20 0 0 20 0 4 0 105590742 1247350784 163327 33554432000 4194304 16246674 140734823573632 140734823555520 12655109 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 304529 163339 602 2943 0 301423 0
[pid=31140/tid=31141] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 163350 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 163360 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1218116 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1247350784 163370 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.04 2.05 2.04 3/265 31144
/proc/meminfo: memFree=29887392/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1394244 CPUtime=1.49 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 289559 0 0 0 112 37 0 0 20 0 4 0 105590742 1427705856 290378 33554432000 4194304 16246674 140734823573632 140734823572944 12655173 0 0 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 348561 290378 822 2943 0 345455 0
[pid=31140/tid=31141] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290378 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290378 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290378 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1394244

[startup+3.10044 s]
/proc/loadavg: 2.04 2.05 2.04 3/265 31144
/proc/meminfo: memFree=29728672/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1394244 CPUtime=3.09 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 289658 0 0 0 272 37 0 0 20 0 4 0 105590742 1427705856 290477 33554432000 4194304 16246674 140734823573632 140734823572944 4206942 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 348561 290477 822 2943 0 345455 0
[pid=31140/tid=31141] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290477 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290477 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290477 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1394244

[startup+6.30047 s]
/proc/loadavg: 2.04 2.05 2.04 3/265 31144
/proc/meminfo: memFree=29728684/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=1394244 CPUtime=6.29 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 289658 0 0 0 592 37 0 0 20 0 4 0 105590742 1427705856 290477 33554432000 4194304 16246674 140734823573632 140734823555520 4220850 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 348561 290477 822 2943 0 345455 0
[pid=31140/tid=31141] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290477 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290477 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=1394244 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 1427705856 290477 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1394244

[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.03 3/265 31144
/proc/meminfo: memFree=28819808/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=2300484 CPUtime=12.68 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 516218 0 0 0 1202 66 0 0 20 0 4 0 105590742 2355695616 517037 33554432000 4194304 16246674 140734823573632 140734823572808 4221116 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 575121 517037 822 2943 0 572015 0
[pid=31140/tid=31141] ppid=31137 vsize=2300484 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 2355695616 517037 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=2300484 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 2355695616 517037 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=2300484 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 2355695616 517037 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2300484

[startup+25.5005 s]
/proc/loadavg: 2.03 2.05 2.03 3/265 31144
/proc/meminfo: memFree=27013888/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=4134468 CPUtime=25.49 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 974531 0 0 0 2419 130 0 0 20 0 4 0 105590742 4233695232 975351 33554432000 4194304 16246674 140734823573632 140734823571456 4221016 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 1033617 975358 822 2943 0 1030511 0
[pid=31140/tid=31141] ppid=31137 vsize=4134468 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 4233695232 975362 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=4134468 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 4233695232 975367 33554432000 4194304 16246674 140734823573632 139800495496208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=4134468 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 4233695232 975372 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4134468

[startup+51.1005 s]
/proc/loadavg: 2.07 2.06 2.04 3/265 31144
/proc/meminfo: memFree=23915968/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=7421508 CPUtime=51.08 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 1828732 0 0 0 4857 251 0 0 20 0 4 0 105590742 7599624192 1797295 33554432000 4194304 16246674 140734823573632 140734823572944 4220897 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 1855377 1797295 822 2943 0 1852271 0
[pid=31140/tid=31141] ppid=31137 vsize=7421508 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 7599624192 1797295 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=7421508 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 7599624192 1797295 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=7421508 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 7599624192 1797295 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7421508

[startup+102.301 s]
/proc/loadavg: 2.13 2.08 2.04 3/265 31194
/proc/meminfo: memFree=22804404/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=8294980 CPUtime=102.29 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 2047100 0 0 0 9935 294 0 0 20 0 4 0 105590742 8494059520 2015663 33554432000 4194304 16246674 140734823573632 140734823572808 4220880 0 2 0 34082818 18446744073709551615 0 0 17 9 0 0 0 0 0
/proc/31140/statm: 2073745 2015663 822 2943 0 2070639 0
[pid=31140/tid=31141] ppid=31137 vsize=8294980 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 8494059520 2015663 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=8294980 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 8494059520 2015663 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=8294980 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 8494059520 2015663 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 8294980


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

/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3832388

[startup+1302.3 s]
/proc/loadavg: 2.17 2.15 2.09 3/265 31517
/proc/meminfo: memFree=18163992/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1302.05 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568355 0 0 0 129224 981 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 3832388

[startup+1362.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/265 31518
/proc/meminfo: memFree=17459948/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1362.04 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568355 0 0 0 135219 985 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 5711644 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3832388

[startup+1422.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/265 31519
/proc/meminfo: memFree=17388304/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1422.04 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568355 0 0 0 141214 990 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 5553752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 3832388

[startup+1482.3 s]
/proc/loadavg: 2.21 2.17 2.10 3/265 31520
/proc/meminfo: memFree=17388332/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1482.02 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568355 0 0 0 147206 996 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 5711984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 3832388

[startup+1542.31 s]
/proc/loadavg: 2.07 2.13 2.09 3/266 31525
/proc/meminfo: memFree=24467672/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1542.03 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568355 0 0 0 153201 1002 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823556632 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 3832388

[startup+1602.3 s]
/proc/loadavg: 2.07 2.12 2.09 3/265 31526
/proc/meminfo: memFree=24467832/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1602.01 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568355 0 0 0 159193 1008 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 5711691 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3832388

[startup+1662.3 s]
/proc/loadavg: 2.02 2.10 2.08 3/265 31527
/proc/meminfo: memFree=24467852/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1661.98 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568378 0 0 0 165184 1014 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823556632 5711784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3832388

[startup+1722.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/265 31528
/proc/meminfo: memFree=24467388/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1721.96 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568404 0 0 0 171176 1020 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 13809250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 3832388

[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.08 3/265 31529
/proc/meminfo: memFree=24466924/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1781.95 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568427 0 0 0 177168 1027 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823556632 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 3832388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.07 2.07 3/265 31530
/proc/meminfo: memFree=24467140/32872528 swapFree=9196/9196
[pid=31140] ppid=31137 vsize=3832388 CPUtime=1800.04 cores=0-3,8-11
/proc/31140/stat : 31140 (toysat) R 31137 31140 25889 0 -1 4202496 3568438 0 0 0 178975 1029 0 0 20 0 4 0 105590742 3924365312 900092 33554432000 4194304 16246674 140734823573632 140734823555520 5994544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31140/statm: 958097 900092 889 2943 0 954991 0
[pid=31140/tid=31141] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31141/stat : 31141 (toysat) S 31137 31140 25889 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800505986288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 10 0 0 0 0 0
[pid=31140/tid=31142] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31142/stat : 31142 (toysat) S 31137 31140 25889 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800495496432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 8 0 0 0 0 0
[pid=31140/tid=31143] ppid=31137 vsize=3832388 CPUtime=0 cores=0-3,8-11
/proc/31140/task/31143/stat : 31143 (toysat) S 31137 31140 25889 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 105590743 3924365312 900092 33554432000 4194304 16246674 140734823573632 139800380173488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3832388

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 31140 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.5
CPU time (s): 1800.14
CPU user time (s): 1789.76
CPU system time (s): 10.3794
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 12749380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.76
system time used= 10.3794
maximum resident set size= 12517092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3568438
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= 317
involuntary context switches= 2352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5422 second user time and 20.6939 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-06 20:24:47
IDJOB=4078582
IDBENCH=2275
IDSOLVER=2542
FILE ID=node132/4078582-1465237487
RUNJOBID= node132-1465216787-25905
PBS_JOBID= 19843203
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-BIGINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078582-1465237487/watcher-4078582-1465237487 -o /tmp/evaluation-result-4078582-1465237487/solver-4078582-1465237487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465216787-25905 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078582-1465237487.opb

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

MD5SUM BENCH= d53007d2869c28e065ccd77bdf635fbe
RANDOM SEED=25725383

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30890968 kB
Buffers:           38196 kB
Cached:            96156 kB
SwapCached:         3224 kB
Active:          1190260 kB
Inactive:          71204 kB
Active(anon):    1125820 kB
Inactive(anon):     3236 kB
Active(file):      64440 kB
Inactive(file):    67968 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67094528 kB
Dirty:             16540 kB
Writeback:             4 kB
AnonPages:       1132804 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             573216 kB
SReclaimable:      13580 kB
SUnreclaim:       559636 kB
KernelStack:        2176 kB
PageTables:         6220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1277644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71716 MiB
End job on node132 at 2016-06-06 20:54:48