Trace number 4117357

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.04 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
MD5SUM0d740787fb33d4314168b5d1de29de61
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark790
Best CPU time to get the best result obtained on this benchmark19.0441
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27556
Number of constraints which are cardinality constraints (but not clauses)244
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 200
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2110
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 200
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 2110
Number of bits of the biggest sum of numbers12
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-29T16:33:36+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-4117357-1467210816.opb"]
0.00/0.01	c use --random-gen="983397934 31115502 2763747708 1576191557 1054196065 3699761242 313660690 2199458752 3782274965 382673323 3976260 3429481460 1190048667 1447104979 3571496843 3414315412 2825095513 2137602347 4146336029 745772810 2804760413 1991671447 2702357408 3573056258 2496315137 3944300931 1720430287 1021094603 146667284 2321773426 976217552 1878587934 1385719114 3087129704 1459234017 3957923625 1379808029 67377204 2496946368 2201214422 168875822 2801840438 3726216978 14753727 1162594344 3789904251 3312501226 952033826 1956300228 843481302 497719240 2623780673 1218906118 375705554 2288670735 2849566146 1175137048 36541728 1625215015 2794743251 3951495869 484948517 2155219540 530497662 4033532945 673874856 590229831 4291963889 1077482411 969211894 753546175 1090454040 1409531111 406790798 2983441385 195254599 1123951143 757588958 3782444070 3572039240 2504595543 344643613 3594159403 71059672 4177687283 3693072635 1806847309 2419776627 3722299751 3129597746 3298482888 1515834761 571840037 1927170879 402861645 2886271305 1937440546 2096446924 1384618004 2066822833 398025135 290233030 2373939344 1043109053 2188419107 2337087695 853826739 2250974563 2585966135 2015001367 354374524 2817015840 4186282556 2123076090 828566604 2207183980 1007002629 3063034013 1244410542 229283747 2069691863 757351895 2359117339 1788385556 2784567891 1475478050 3653327684 1782075601 2852806282 2561278128 3521392017 1455123765 2123449675 2590084142 852398641 3182324564 2827795092 1945396830 806691860 112106555 1382187292 510302937 3249986879 263298377 1903372429 1488238827 1432885997 3111624737 425466470 2894729809 448486336 3479590486 4130013809 677454639 1990628097 2344956694 1967590191 2227367042 385059391 1365893152 2141278952 1754528361 2177683331 2610165603 3897223872 4045193469 4129949275 1130064708 1820028389 3868076097 2577788502 3634586711 3028821399 1234043659 2341396496 2934215314 1770608327 2085074299 2808855504 483834715 2218157442 177373160 865541588 3253363153 829426237 2104891154 3544301788 2823672915 4294959830 2556839412 2608654946 493449544 3084871318 4156922838 3206353449 774525350 2107777961 1365988856 96657224 639227675 1033796868 1051109799 1439806381 319271877 2752835553 3744262121 2221058616 61317452 1126932819 498863638 2010144821 4137315475 3195072306 3713252524 4075122327 75226361 3235874111 3492468887 1611559129 2520669824 1051698695 3356344897 2036581165 326838389 3798255085 2107957252 3677301748 553931280 2893247282 1074833128 2010823573 1131284412 210518654 550077516 2950558354 3282005820 2218522986 1291464938 3443952398 1115125422 959060407 1970475225 2108329544 808589605 624145357 3977570805 82469778 3182261384 1578693834 2835804702 2619169702 1464472901 2974875770 1350689864 271804361 2247715838 255 362436" option to reproduce the execution
0.19/0.23	c #vars 9632
0.19/0.23	c #constraints 29620
0.59/0.66	c BCD2: Hardening is enabled.
0.59/0.66	c BCD2: BiasedSearch is enabled.
0.59/0.66	c Solving starts ...
0.59/0.66	c ============================[ Search Statistics ]============================
0.59/0.66	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.66	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.66	c =============================================================================
0.59/0.66	c  0.0s |       0 |        0 |        0 |    13084      0 |        0 |        0
0.79/0.85	c  0.2s |       1 |    13693 |      100 |    13084      0 |        0 |        0
0.89/0.98	c  0.3s |       2 |    21348 |      250 |    14393      0 |        0 |        0
1.09/1.15	c  0.5s |       3 |    32163 |      475 |    15833      0 |        0 |        0
1.29/1.33	c  0.7s |       4 |    40890 |      813 |    17417      0 |        0 |        0
1.59/1.65	c  1.0s |       5 |    63231 |     1320 |    19159      0 |        0 |        0
2.09/2.15	c  1.5s |       6 |    91101 |     2081 |    23183      0 |        0 |        0
2.59/2.60	c  1.9s |       7 |   121061 |     3223 |    25502      0 |        0 |        0
3.89/3.91	c  3.3s |       7 |   246024 |     3424 |    25502      0 |        0 |        0
3.89/3.91	c #cpu_time = 3.236s
4.19/4.20	c #wall_clock_time = 3.244s
4.19/4.20	c #decision = 246024
4.19/4.20	c #random_decision = 778
4.19/4.20	c #conflict = 3424
4.19/4.20	c #restart = 7
4.19/4.20	o 2110
4.19/4.20	c BCD2: refineUB: 2109 -> 2090
4.19/4.20	c BCD2: updating upper bound: 2110 -> 2090
4.19/4.20	c BCD2: 0 <= obj <= 2090
4.19/4.20	c BCD2: #cores=0, #unrelaxed=26, #relaxed=0, #hardened=0
4.19/4.20	c BCD2: #sat=1 #unsat=1 bias=1/2
4.19/4.20	c Solving starts ...
4.19/4.20	c ============================[ Search Statistics ]============================
4.19/4.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.19/4.20	c       |         |          |          |    Limit     GC | Var      | Constra 
4.19/4.20	c =============================================================================
4.19/4.20	c  0.0s |       0 |        0 |        0 |    25502      0 |        0 |        0
4.19/4.20	c  0.1s |       1 |      125 |      100 |    25502      0 |        0 |        0
4.19/4.20	c  0.1s |       2 |      294 |      250 |    25502      0 |        0 |        0
4.19/4.20	c  0.2s |       3 |      594 |      475 |    25502      0 |        0 |        0
4.19/4.23	c  0.3s |       4 |      984 |      813 |    25502      0 |        0 |        0
4.29/4.40	c  0.5s |       5 |     1572 |     1320 |    25502      0 |        0 |        0
4.59/4.62	c  0.7s |       6 |     2408 |     2081 |    28053      0 |        0 |        0
4.89/4.97	c  1.1s |       7 |     3658 |     3223 |    28053      0 |        0 |        0
5.50/5.53	c  1.6s |       8 |     5515 |     4936 |    30859      0 |        0 |        0
5.89/5.94	c  2.0s |       8 |     6661 |     6001 |    30859      0 |        0 |        0
5.89/5.94	c #cpu_time = 2.022s
5.89/5.94	c #wall_clock_time = 2.027s
5.89/5.94	c #decision = 6661
5.89/5.94	c #random_decision = 21
5.89/5.94	c #conflict = 6001
5.89/5.94	c #restart = 8
5.89/5.94	c BCD2: found a new core of size 13: cost of the new core is >=20
5.89/5.94	c lower bound updated to 20
5.89/5.94	c BCD2: refineUB: 2109 -> 2090
5.89/5.94	c BCD2: 20 <= obj <= 2090
5.89/5.94	c BCD2: #cores=1, #unrelaxed=13, #relaxed=13, #hardened=0
5.89/5.94	c BCD2: #sat=1 #unsat=2 bias=2/3
5.89/5.94	c Solving starts ...
5.89/5.94	c ============================[ Search Statistics ]============================
5.89/5.94	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.89/5.94	c       |         |          |          |    Limit     GC | Var      | Constra 
5.89/5.94	c =============================================================================
5.89/5.94	c  0.0s |       0 |        0 |        0 |    30859      0 |        0 |        0
5.99/6.00	c  0.1s |       0 |       13 |        0 |    30859      0 |        0 |        0
5.99/6.00	c #cpu_time = 0.055s
5.99/6.00	c #wall_clock_time = 0.055s
5.99/6.00	c #decision = 13
5.99/6.00	c #random_decision = 0
5.99/6.00	c #conflict = 0
5.99/6.00	c #restart = 0
5.99/6.00	c BCD2: found a new core of size 13: cost of the new core is >=50
5.99/6.00	c lower bound updated to 70
5.99/6.00	c BCD2: refineUB: 2109 -> 2090
5.99/6.00	c BCD2: 70 <= obj <= 2090
5.99/6.00	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
5.99/6.00	c BCD2: #sat=1 #unsat=3 bias=3/4
5.99/6.00	c Solving starts ...
5.99/6.00	c ============================[ Search Statistics ]============================
5.99/6.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.99/6.00	c       |         |          |          |    Limit     GC | Var      | Constra 
5.99/6.00	c =============================================================================
5.99/6.00	c  0.0s |       0 |        0 |        0 |    30859      0 |        0 |        0
5.99/6.08	c  0.1s |       1 |      160 |      100 |    30859      0 |        0 |        0
6.09/6.17	c  0.2s |       2 |      358 |      250 |    30859      0 |        0 |        0
6.29/6.30	c  0.3s |       3 |     5245 |      475 |    30859      0 |        0 |        0
6.89/6.90	c  0.9s |       3 |    52166 |      728 |    30859      0 |        0 |        0
6.89/6.90	c #cpu_time = 0.887s
6.89/6.90	c #wall_clock_time = 0.890s
6.89/6.90	c #decision = 52166
6.89/6.90	c #random_decision = 149
6.89/6.90	c #conflict = 728
6.89/6.90	c #restart = 3
6.89/6.90	o 1550
6.89/6.90	c BCD2: refineUB: 1549 -> 1540
6.89/6.90	c BCD2: updating upper bound: 2090 -> 1540
6.89/6.90	c BCD2: 70 <= obj <= 1540
6.89/6.90	c BCD2: #cores=2, #unrelaxed=0, #relaxed=26, #hardened=0
6.89/6.90	c BCD2: #sat=2 #unsat=3 bias=3/5
6.89/6.90	c Solving starts ...
6.89/6.90	c ============================[ Search Statistics ]============================
6.89/6.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.89/6.90	c       |         |          |          |    Limit     GC | Var      | Constra 
6.89/6.90	c =============================================================================
6.89/6.90	c  0.0s |       0 |        0 |        0 |    30859      0 |        0 |        0
6.99/7.00	c  0.1s |       1 |      947 |      100 |    30859      0 |        0 |        0
7.09/7.18	c  0.3s |       2 |     1195 |      250 |    30859      0 |        0 |        0
7.29/7.33	c  0.4s |       3 |     1488 |      475 |    30859      0 |        0 |        0
7.59/7.69	c  0.8s |       4 |     1925 |      813 |    30859      0 |        0 |        0
8.09/8.17	c  1.3s |       5 |     2665 |     1320 |    33945      0 |        0 |        0
9.09/9.17	c  2.3s |       6 |     3468 |     2081 |    33945      0 |        0 |        0
9.89/9.92	c  3.0s |       7 |     4809 |     3223 |    33945      0 |        0 |        0
11.49/11.58	c  4.7s |       8 |     6817 |     4936 |    33945      0 |        0 |        0
13.09/13.12	c  6.2s |       9 |    10017 |     7506 |    37340      0 |        0 |        0
15.09/15.16	c  8.3s |       9 |    12566 |     9806 |    37340      0 |        0 |        0
15.99/16.03	c  9.1s |      10 |    14150 |    11361 |    37340      0 |        0 |        0
17.99/18.07	c 11.2s |      10 |    15666 |    12661 |    37340      0 |        0 |        0
20.18/20.21	c 13.3s |      10 |    17100 |    13761 |    37340      0 |        0 |        0
22.18/22.26	c 15.4s |      10 |    18751 |    15161 |    37340      0 |        0 |        0
24.29/24.36	c 17.5s |      10 |    20488 |    16861 |    41074      0 |        0 |        0
24.78/24.82	c 17.9s |      11 |    20779 |    17144 |    41074      0 |        0 |        0
26.88/26.92	c 20.0s |      11 |    22268 |    18444 |    41074      0 |        0 |        0
28.98/29.02	c 22.1s |      11 |    23349 |    19344 |    41074      0 |        0 |        0
31.08/31.16	c 24.3s |      11 |    24779 |    20344 |    41074      0 |        0 |        0
33.28/33.33	c 26.4s |      11 |    26426 |    21544 |    41074      0 |        0 |        0
35.38/35.40	c 28.5s |      11 |    28504 |    23544 |    41074      0 |        0 |        0
37.58/37.64	c 30.7s |      11 |    29951 |    24944 |    41074      0 |        0 |        0
39.69/39.78	c 32.9s |      11 |    30673 |    25644 |    41074      0 |        0 |        0
40.08/40.19	c 33.3s |      12 |    30855 |    25819 |    41074      0 |        0 |        0
42.38/42.41	c 35.5s |      12 |    32011 |    26719 |    41074      0 |        0 |        0
44.48/44.54	c 37.6s |      12 |    33188 |    27719 |    41074      0 |        0 |        0
46.58/46.61	c 39.7s |      12 |    34189 |    28619 |    45182      0 |        0 |        0
48.58/48.63	c 41.7s |      12 |    35140 |    29519 |    45182      0 |        0 |        0
50.69/50.72	c 43.8s |      12 |    36160 |    30419 |    45182      0 |        0 |        0
52.68/52.75	c 45.9s |      12 |    36892 |    31119 |    45182      0 |        0 |        0
54.68/54.78	c 47.9s |      12 |    37966 |    32019 |    45182      0 |        0 |        0
56.88/56.93	c 50.0s |      12 |    39220 |    32919 |    45182      0 |        0 |        0
58.98/59.05	c 52.2s |      12 |    39972 |    33619 |    45182      0 |        0 |        0
60.98/61.09	c 54.2s |      12 |    40820 |    34419 |    45182      0 |        0 |        0
63.08/63.18	c 56.3s |      12 |    41674 |    35219 |    45182      0 |        0 |        0
66.18/66.29	c 59.4s |      12 |    42433 |    35919 |    45182      1 |        0 |        0
68.38/68.45	c 61.5s |      12 |    44072 |    37019 |    45182      1 |        0 |        0
70.58/70.61	c 63.7s |      12 |    45000 |    37819 |    45182      1 |        0 |        0
72.48/72.53	c 65.6s |      13 |    46453 |    38832 |    45182      1 |        0 |        0
74.58/74.62	c 67.7s |      13 |    46871 |    39032 |    45182      1 |        0 |        0
76.58/76.65	c 69.8s |      13 |    48118 |    40032 |    45182      1 |        0 |        0
78.68/78.77	c 71.9s |      13 |    49390 |    41132 |    45182      1 |        0 |        0
80.77/80.85	c 73.9s |      13 |    50742 |    42232 |    45182      1 |        0 |        0
82.97/83.10	c 76.2s |      13 |    52173 |    43332 |    45182      1 |        0 |        0
85.17/85.29	c 78.4s |      13 |    53620 |    44332 |    45182      1 |        0 |        0
87.37/87.49	c 80.6s |      13 |    55078 |    45332 |    45182      1 |        0 |        0
89.47/89.58	c 82.7s |      13 |    56031 |    46232 |    45182      1 |        0 |        0
91.47/91.59	c 84.7s |      13 |    56964 |    47132 |    45182      1 |        0 |        0
93.77/93.82	c 86.9s |      13 |    57993 |    48132 |    49701      1 |        0 |        0
95.78/95.87	c 89.0s |      13 |    58885 |    48932 |    49701      1 |        0 |        0
97.88/97.98	c 91.1s |      13 |    60078 |    50032 |    49701      1 |        0 |        0
100.08/100.14	c 93.2s |      13 |    61118 |    51032 |    49701      1 |        0 |        0
102.17/102.21	c 95.3s |      13 |    62032 |    51932 |    49701      1 |        0 |        0
104.27/104.36	c 97.5s |      13 |    63069 |    52932 |    49701      1 |        0 |        0
106.37/106.43	c 99.5s |      13 |    63890 |    53732 |    49701      1 |        0 |        0
108.37/108.46	c  101s |      13 |    64731 |    54532 |    49701      1 |        0 |        0
110.67/110.76	c  103s |      13 |    65678 |    55432 |    49701      1 |        0 |        0
112.87/112.96	c  106s |      13 |    66633 |    56232 |    49701      1 |        0 |        0
114.97/115.06	c  108s |      13 |    67619 |    57132 |    49701      1 |        0 |        0
117.27/117.33	c  110s |      13 |    68553 |    57932 |    49701      1 |        0 |        0
118.47/118.52	c  111s |      14 |    69027 |    58352 |    49701      1 |        0 |        0
120.57/120.62	c  113s |      14 |    70128 |    59252 |    49701      1 |        0 |        0
122.57/122.63	c  115s |      14 |    72453 |    61252 |    49701      1 |        0 |        0
124.57/124.68	c  117s |      14 |    74399 |    62952 |    49701      1 |        0 |        0
126.67/126.78	c  119s |      14 |    76235 |    64652 |    49701      1 |        0 |        0
128.78/128.87	c  121s |      14 |    76359 |    64752 |    49701      2 |        0 |        0
131.37/131.46	c  124s |      14 |    77109 |    65452 |    49701      2 |        0 |        0
133.47/133.50	c  126s |      14 |    81807 |    69552 |    49701      2 |        0 |        0
135.47/135.54	c  128s |      14 |    86297 |    73352 |    49701      2 |        0 |        0
137.48/137.55	c  130s |      14 |    88631 |    75352 |    49701      2 |        0 |        0
139.47/139.57	c  132s |      14 |    92817 |    78952 |    54672      2 |        0 |        0
141.57/141.66	c  134s |      14 |    93830 |    79552 |    54672      2 |        0 |        0
143.67/143.71	c  136s |      14 |    96794 |    82152 |    54672      2 |        0 |        0
145.77/145.83	c  138s |      14 |    99588 |    84552 |    54672      2 |        0 |        0
147.87/147.96	c  141s |      14 |   101827 |    86052 |    54672      2 |        0 |        0
149.97/150.01	c  143s |      14 |   103612 |    87452 |    54672      2 |        0 |        0
150.07/150.11	c  143s |      15 |   103809 |    87632 |    54672      2 |        0 |        0
152.17/152.24	c  145s |      15 |   105174 |    88632 |    54672      2 |        0 |        0
154.37/154.47	c  147s |      15 |   106172 |    89532 |    54672      2 |        0 |        0
156.57/156.61	c  149s |      15 |   107112 |    90432 |    54672      2 |        0 |        0
158.67/158.73	c  151s |      15 |   108406 |    91432 |    54672      2 |        0 |        0
160.77/160.80	c  153s |      15 |   109642 |    92332 |    54672      2 |        0 |        0
162.97/163.00	c  156s |      15 |   110842 |    93232 |    54672      2 |        0 |        0
165.86/165.94	c  159s |      15 |   111303 |    93632 |    54672      3 |        0 |        0
168.17/168.21	c  161s |      15 |   111744 |    94032 |    54672      3 |        0 |        0
170.17/170.23	c  163s |      15 |   112833 |    95032 |    54672      3 |        0 |        0
172.27/172.36	c  165s |      15 |   115068 |    96732 |    54672      3 |        0 |        0
175.77/175.84	c  168s |      15 |   115297 |    96932 |    54672      3 |        0 |        0
181.06/181.14	c  174s |      15 |   115712 |    97332 |    54672      3 |        0 |        0
183.16/183.25	c  176s |      15 |   117404 |    98832 |    54672      3 |        0 |        0
185.16/185.29	c  178s |      15 |   118905 |    99932 |    54672      3 |        0 |        0
187.36/187.46	c  180s |      15 |   120339 |   101232 |    54672      3 |        0 |        0
189.56/189.65	c  182s |      15 |   121613 |   102432 |    54672      3 |        0 |        0
191.66/191.75	c  184s |      15 |   123092 |   103532 |    54672      3 |        0 |        0
193.76/193.81	c  186s |      15 |   124523 |   104632 |    54672      3 |        0 |        0
195.96/196.00	c  189s |      15 |   125583 |   105632 |    54672      3 |        0 |        0
198.16/198.21	c  191s |      15 |   126652 |   106632 |    54672      3 |        0 |        0
200.26/200.36	c  193s |      15 |   127710 |   107632 |    54672      3 |        0 |        0
202.46/202.51	c  195s |      15 |   128922 |   108832 |    54672      3 |        0 |        0
204.46/204.54	c  197s |      15 |   130361 |   110232 |    54672      3 |        0 |        0
206.56/206.67	c  199s |      15 |   131569 |   111332 |    54672      3 |        0 |        0
208.66/208.76	c  201s |      15 |   132673 |   112332 |    54672      3 |        0 |        0
210.76/210.85	c  203s |      15 |   133795 |   113232 |    54672      3 |        0 |        0
212.86/212.95	c  206s |      15 |   134985 |   114232 |    54672      3 |        0 |        0
214.86/214.98	c  208s |      15 |   136252 |   115332 |    54672      3 |        0 |        0
216.86/216.98	c  210s |      15 |   137427 |   116332 |    54672      3 |        0 |        0
219.25/219.38	c  212s |      15 |   138659 |   117432 |    54672      3 |        0 |        0
221.45/221.51	c  214s |      15 |   139912 |   118632 |    54672      3 |        0 |        0
223.45/223.55	c  216s |      15 |   141132 |   119632 |    54672      3 |        0 |        0
225.65/225.71	c  218s |      15 |   142200 |   120432 |    54672      3 |        0 |        0
227.66/227.74	c  220s |      15 |   143034 |   121132 |    60140      3 |        0 |        0
229.75/229.80	c  222s |      15 |   143940 |   121832 |    60140      3 |        0 |        0
231.95/232.01	c  225s |      15 |   145146 |   122732 |    60140      3 |        0 |        0
233.95/234.01	c  227s |      15 |   146030 |   123432 |    60140      3 |        0 |        0
235.95/236.03	c  229s |      15 |   146901 |   124132 |    60140      3 |        0 |        0
238.25/238.30	c  231s |      15 |   147838 |   124932 |    60140      3 |        0 |        0
240.45/240.59	c  233s |      15 |   148813 |   125732 |    60140      3 |        0 |        0
253.06/253.12	c  246s |      15 |   149773 |   126532 |    60140      4 |        0 |        0
255.26/255.31	c  248s |      15 |   150908 |   127532 |    60140      4 |        0 |        0
258.95/259.02	c  252s |      15 |   151652 |   128132 |    60140      4 |        0 |        0
261.15/261.22	c  254s |      15 |   152854 |   129132 |    60140      4 |        0 |        0
296.95/297.04	c  290s |      15 |   154216 |   130232 |    60140      4 |        0 |        0
299.04/299.16	c  292s |      15 |   155555 |   131432 |    60140      4 |        0 |        0
299.34/299.42	c  292s |      16 |   155715 |   131552 |    60140      4 |        0 |        0
308.24/308.33	c  301s |      16 |   156528 |   132052 |    60140      4 |        0 |        0
310.34/310.40	c  303s |      16 |   160730 |   135352 |    60140      4 |        0 |        0
312.35/312.41	c  305s |      16 |   163945 |   137852 |    60140      4 |        0 |        0
314.44/314.53	c  307s |      16 |   166328 |   139452 |    60140      4 |        0 |        0
316.44/316.58	c  309s |      16 |   169632 |   141752 |    60140      4 |        0 |        0
318.54/318.62	c  311s |      16 |   172214 |   143852 |    60140      4 |        0 |        0
320.74/320.84	c  313s |      16 |   174114 |   145252 |    60140      4 |        0 |        0
323.04/323.18	c  316s |      16 |   176274 |   146752 |    60140      4 |        0 |        0
325.24/325.33	c  318s |      16 |   177819 |   147752 |    60140      4 |        0 |        0
327.24/327.34	c  320s |      16 |   180553 |   149852 |    60140      4 |        0 |        0
329.24/329.34	c  322s |      16 |   183498 |   152052 |    60140      4 |        0 |        0
331.24/331.38	c  324s |      16 |   185687 |   153552 |    60140      4 |        0 |        0
333.35/333.48	c  326s |      16 |   188693 |   155752 |    60140      4 |        0 |        0
338.24/338.31	c  331s |      16 |   190134 |   156752 |    60140      5 |        0 |        0
343.54/343.66	c  336s |      16 |   190595 |   157152 |    60140      5 |        0 |        0
345.64/345.71	c  338s |      16 |   193621 |   159352 |    60140      5 |        0 |        0
347.64/347.77	c  340s |      16 |   197196 |   162052 |    60140      5 |        0 |        0
349.63/349.79	c  342s |      16 |   200252 |   164252 |    60140      5 |        0 |        0
351.73/351.86	c  344s |      16 |   203205 |   166752 |    60140      5 |        0 |        0
353.83/353.94	c  347s |      16 |   205233 |   168452 |    60140      5 |        0 |        0
355.83/355.94	c  349s |      16 |   207196 |   170052 |    60140      5 |        0 |        0
357.83/358.00	c  351s |      16 |   209552 |   171952 |    60140      5 |        0 |        0
359.93/360.04	c  353s |      16 |   211460 |   173452 |    60140      5 |        0 |        0
361.94/362.07	c  355s |      16 |   213498 |   175052 |    60140      5 |        0 |        0
364.04/364.11	c  357s |      16 |   215272 |   176552 |    60140      5 |        0 |        0
366.13/366.23	c  359s |      16 |   217063 |   178052 |    60140      5 |        0 |        0
368.23/368.34	c  361s |      16 |   218618 |   179352 |    60140      5 |        0 |        0
370.33/370.44	c  363s |      16 |   220546 |   180952 |    60140      5 |        0 |        0
372.53/372.68	c  365s |      16 |   222011 |   182152 |    60140      5 |        0 |        0
374.63/374.71	c  367s |      16 |   223667 |   183552 |    60140      5 |        0 |        0
376.73/376.84	c  369s |      16 |   225253 |   184852 |    60140      5 |        0 |        0
378.83/378.92	c  372s |      16 |   226799 |   186152 |    66154      5 |        0 |        0
380.93/381.04	c  374s |      16 |   228233 |   187352 |    66154      5 |        0 |        0
383.03/383.17	c  376s |      16 |   230081 |   188852 |    66154      5 |        0 |        0
385.13/385.27	c  378s |      16 |   231055 |   189652 |    66154      5 |        0 |        0
387.24/387.32	c  380s |      16 |   232472 |   190852 |    66154      5 |        0 |        0
389.23/389.39	c  382s |      16 |   233819 |   191952 |    66154      5 |        0 |        0
391.43/391.51	c  384s |      16 |   234967 |   192952 |    66154      5 |        0 |        0
396.04/396.17	c  389s |      16 |   235688 |   193552 |    66154      6 |        0 |        0
478.62/478.78	c  471s |      16 |   237315 |   194952 |    66154      6 |        0 |        0
480.72/480.82	c  473s |      16 |   239571 |   196852 |    66154      6 |        0 |        0
481.22/481.38	c  474s |      17 |   240252 |   197432 |    66154      6 |        0 |        0
493.61/493.74	c  486s |      17 |   240545 |   197632 |    66154      6 |        0 |        0
496.41/496.53	c  489s |      17 |   241628 |   198532 |    66154      6 |        0 |        0
498.51/498.69	c  491s |      17 |   243236 |   200032 |    66154      6 |        0 |        0
500.61/500.79	c  493s |      17 |   244471 |   201132 |    66154      6 |        0 |        0
502.72/502.82	c  495s |      17 |   246013 |   202232 |    66154      6 |        0 |        0
505.01/505.13	c  498s |      17 |   247619 |   203232 |    66154      6 |        0 |        0
507.02/507.19	c  500s |      17 |   248344 |   203932 |    66154      6 |        0 |        0
509.32/509.43	c  502s |      17 |   249058 |   204632 |    66154      6 |        0 |        0
511.42/511.53	c  504s |      17 |   250212 |   205732 |    66154      6 |        0 |        0
513.51/513.62	c  506s |      17 |   251657 |   207132 |    66154      6 |        0 |        0
515.71/515.88	c  508s |      17 |   252597 |   208032 |    66154      6 |        0 |        0
517.71/517.89	c  510s |      17 |   253449 |   208832 |    66154      6 |        0 |        0
519.81/519.96	c  513s |      17 |   254364 |   209732 |    66154      6 |        0 |        0
522.01/522.17	c  515s |      17 |   255300 |   210632 |    66154      6 |        0 |        0
524.11/524.21	c  517s |      17 |   256041 |   211332 |    66154      6 |        0 |        0
526.31/526.41	c  519s |      17 |   256799 |   212032 |    66154      6 |        0 |        0
528.61/528.73	c  521s |      17 |   257616 |   212732 |    66154      6 |        0 |        0
530.91/531.00	c  524s |      17 |   258330 |   213332 |    66154      6 |        0 |        0
533.01/533.18	c  526s |      17 |   258835 |   213832 |    66154      6 |        0 |        0
535.31/535.49	c  528s |      17 |   259453 |   214432 |    66154      6 |        0 |        0
537.41/537.52	c  530s |      17 |   260073 |   215032 |    66154      6 |        0 |        0
539.61/539.73	c  532s |      17 |   260673 |   215632 |    66154      6 |        0 |        0
541.70/541.87	c  534s |      17 |   261282 |   216232 |    66154      6 |        0 |        0
544.10/544.24	c  537s |      17 |   261997 |   216932 |    66154      6 |        0 |        0
546.40/546.52	c  539s |      17 |   262707 |   217632 |    66154      6 |        0 |        0
548.60/548.74	c  541s |      17 |   263417 |   218332 |    66154      6 |        0 |        0
550.80/550.91	c  544s |      17 |   264043 |   218932 |    66154      6 |        0 |        0
552.90/553.02	c  546s |      17 |   265114 |   219932 |    66154      6 |        0 |        0
555.00/555.16	c  548s |      17 |   265868 |   220632 |    66154      6 |        0 |        0
557.10/557.28	c  550s |      17 |   266700 |   221432 |    66154      6 |        0 |        0
559.30/559.45	c  552s |      17 |   267435 |   222132 |    66154      6 |        0 |        0
561.50/561.65	c  554s |      17 |   268361 |   222932 |    66154      6 |        0 |        0
563.70/563.83	c  556s |      17 |   269332 |   223832 |    66154      6 |        0 |        0
565.70/565.88	c  558s |      17 |   270267 |   224732 |    66154      6 |        0 |        0
567.90/568.09	c  561s |      17 |   271022 |   225432 |    66154      6 |        0 |        0
570.00/570.11	c  563s |      17 |   271881 |   226132 |    66154      6 |        0 |        0
588.01/588.12	c  581s |      17 |   272379 |   226632 |    66154      7 |        0 |        0
595.20/595.33	c  588s |      17 |   272484 |   226732 |    66154      7 |        0 |        0
597.40/597.52	c  590s |      17 |   273494 |   227732 |    66154      7 |        0 |        0
599.50/599.66	c  592s |      17 |   274408 |   228532 |    66154      7 |        0 |        0
601.60/601.71	c  594s |      17 |   275628 |   229632 |    66154      7 |        0 |        0
603.70/603.84	c  596s |      17 |   276802 |   230732 |    66154      7 |        0 |        0
605.70/605.85	c  598s |      17 |   277895 |   231732 |    66154      7 |        0 |        0
607.80/607.95	c  601s |      17 |   278869 |   232632 |    66154      7 |        0 |        0
609.90/610.06	c  603s |      17 |   280269 |   233932 |    66154      7 |        0 |        0
612.00/612.17	c  605s |      17 |   281105 |   234732 |    66154      7 |        0 |        0
614.10/614.30	c  607s |      17 |   281515 |   235132 |    66154      7 |        0 |        0
616.50/616.61	c  609s |      17 |   282274 |   235832 |    66154      7 |        0 |        0
618.50/618.68	c  611s |      17 |   283288 |   236732 |    66154      7 |        0 |        0
620.79/620.91	c  614s |      17 |   284363 |   237732 |    66154      7 |        0 |        0
622.89/623.05	c  616s |      17 |   285106 |   238432 |    66154      7 |        0 |        0
624.99/625.10	c  618s |      17 |   285949 |   239232 |    66154      7 |        0 |        0
627.29/627.41	c  620s |      17 |   286678 |   239932 |    66154      7 |        0 |        0
629.29/629.42	c  622s |      17 |   287562 |   240732 |    66154      7 |        0 |        0
631.30/631.49	c  624s |      17 |   288611 |   241632 |    66154      7 |        0 |        0
633.60/633.72	c  626s |      17 |   289124 |   242132 |    66154      7 |        0 |        0
635.59/635.74	c  628s |      17 |   289835 |   242832 |    66154      7 |        0 |        0
637.79/637.91	c  631s |      17 |   290463 |   243432 |    66154      7 |        0 |        0
639.79/640.00	c  633s |      17 |   291278 |   244232 |    66154      7 |        0 |        0
641.99/642.19	c  635s |      17 |   292332 |   245232 |    66154      7 |        0 |        0
644.29/644.42	c  637s |      17 |   293064 |   245932 |    66154      7 |        0 |        0
646.39/646.52	c  639s |      17 |   293794 |   246632 |    66154      7 |        0 |        0
648.69/648.88	c  641s |      17 |   294334 |   247132 |    66154      7 |        0 |        0
650.79/650.92	c  644s |      17 |   295142 |   247932 |    66154      7 |        0 |        0
652.79/652.94	c  646s |      17 |   295769 |   248532 |    66154      7 |        0 |        0
655.19/655.36	c  648s |      17 |   296410 |   249132 |    66154      7 |        0 |        0
657.49/657.64	c  650s |      17 |   296926 |   249632 |    66154      7 |        0 |        0
659.59/659.79	c  652s |      17 |   297558 |   250232 |    66154      7 |        0 |        0
661.99/662.14	c  655s |      17 |   298184 |   250832 |    66154      7 |        0 |        0
664.09/664.23	c  657s |      17 |   298817 |   251432 |    66154      7 |        0 |        0
666.39/666.55	c  659s |      17 |   299577 |   252132 |    66154      7 |        0 |        0
668.49/668.61	c  661s |      17 |   300549 |   253032 |    66154      7 |        0 |        0
670.49/670.61	c  663s |      17 |   301012 |   253432 |    66154      7 |        0 |        0
672.49/672.66	c  665s |      17 |   301471 |   253832 |    66154      7 |        0 |        0
674.89/675.04	c  668s |      17 |   302156 |   254432 |    66154      7 |        0 |        0
677.09/677.26	c  670s |      17 |   303002 |   255032 |    66154      7 |        0 |        0
679.38/679.57	c  672s |      17 |   303646 |   255532 |    66154      7 |        0 |        0
681.89/682.04	c  675s |      17 |   304237 |   256032 |    66154      7 |        0 |        0
684.09/684.23	c  677s |      17 |   304882 |   256532 |    66154      7 |        0 |        0
686.08/686.27	c  679s |      17 |   305565 |   257032 |    66154      7 |        0 |        0
688.28/688.42	c  681s |      17 |   306017 |   257432 |    66154      7 |        0 |        0
690.69/690.90	c  683s |      17 |   306427 |   257832 |    66154      7 |        0 |        0
692.99/693.15	c  686s |      17 |   306833 |   258232 |    66154      7 |        0 |        0
695.09/695.24	c  688s |      17 |   307234 |   258632 |    66154      7 |        0 |        0
697.18/697.30	c  690s |      17 |   307921 |   259232 |    66154      7 |        0 |        0
699.18/699.33	c  692s |      17 |   308477 |   259732 |    66154      7 |        0 |        0
709.98/710.16	c  703s |      17 |   308817 |   260032 |    66154      8 |        0 |        0
712.38/712.50	c  705s |      17 |   309762 |   260932 |    66154      8 |        0 |        0
714.48/714.69	c  707s |      17 |   310816 |   261932 |    66154      8 |        0 |        0
716.88/717.08	c  710s |      17 |   311954 |   262932 |    66154      8 |        0 |        0
718.98/719.19	c  712s |      17 |   312907 |   263732 |    66154      8 |        0 |        0
726.88/727.07	c  720s |      17 |   313143 |   263932 |    66154      8 |        0 |        0
729.28/729.43	c  722s |      17 |   313924 |   264632 |    66154      8 |        0 |        0
731.38/731.54	c  724s |      17 |   314759 |   265332 |    66154      8 |        0 |        0
733.38/733.55	c  726s |      17 |   315682 |   266232 |    66154      8 |        0 |        0
735.38/735.58	c  728s |      17 |   316439 |   266932 |    66154      8 |        0 |        0
737.48/737.64	c  730s |      17 |   317327 |   267732 |    66154      8 |        0 |        0
739.58/739.76	c  732s |      17 |   318446 |   268632 |    66154      8 |        0 |        0
812.47/812.67	c  805s |      17 |   319065 |   269132 |    66154      8 |        0 |        0
814.67/814.85	c  807s |      17 |   319955 |   269932 |    66154      8 |        0 |        0
816.77/816.93	c  810s |      17 |   321183 |   271032 |    66154      8 |        0 |        0
818.87/819.03	c  812s |      17 |   322575 |   272332 |    66154      8 |        0 |        0
820.97/821.14	c  814s |      17 |   324031 |   273732 |    66154      8 |        0 |        0
823.06/823.22	c  816s |      17 |   324894 |   274532 |    66154      8 |        0 |        0
825.06/825.23	c  818s |      17 |   325673 |   275232 |    66154      8 |        0 |        0
827.46/827.67	c  820s |      17 |   326354 |   275832 |    66154      8 |        0 |        0
829.56/829.70	c  822s |      17 |   327213 |   276632 |    66154      8 |        0 |        0
831.57/831.70	c  824s |      17 |   328098 |   277432 |    66154      8 |        0 |        0
833.56/833.78	c  826s |      17 |   328745 |   278032 |    66154      8 |        0 |        0
835.66/835.87	c  828s |      17 |   329487 |   278732 |    66154      8 |        0 |        0
837.86/838.02	c  831s |      17 |   330224 |   279432 |    66154      8 |        0 |        0
839.86/840.09	c  833s |      17 |   330842 |   280032 |    66154      8 |        0 |        0
841.96/842.17	c  835s |      17 |   331488 |   280632 |    66154      8 |        0 |        0
844.26/844.41	c  837s |      17 |   332209 |   281332 |    66154      8 |        0 |        0
846.26/846.48	c  839s |      17 |   332837 |   281932 |    66154      8 |        0 |        0
848.36/848.57	c  841s |      17 |   333545 |   282632 |    66154      8 |        0 |        0
850.56/850.74	c  843s |      17 |   334163 |   283232 |    66154      8 |        0 |        0
852.56/852.75	c  845s |      17 |   334587 |   283632 |    66154      8 |        0 |        0
854.57/854.75	c  847s |      17 |   335372 |   284332 |    72770      8 |        0 |        0
856.66/856.89	c  849s |      17 |   336212 |   285132 |    72770      8 |        0 |        0
858.86/859.08	c  852s |      17 |   336972 |   285832 |    72770      8 |        0 |        0
861.17/861.37	c  854s |      17 |   337626 |   286432 |    72770      8 |        0 |        0
863.47/863.64	c  856s |      17 |   338298 |   287032 |    72770      8 |        0 |        0
865.67/865.82	c  858s |      17 |   338930 |   287632 |    72770      8 |        0 |        0
867.87/868.02	c  861s |      17 |   339445 |   288132 |    72770      8 |        0 |        0
869.96/870.15	c  863s |      17 |   339954 |   288632 |    72770      8 |        0 |        0
872.16/872.40	c  865s |      17 |   340578 |   289232 |    72770      8 |        0 |        0
874.46/874.67	c  867s |      17 |   341179 |   289832 |    72770      8 |        0 |        0
876.46/876.68	c  869s |      17 |   341693 |   290332 |    72770      8 |        0 |        0
878.56/878.75	c  871s |      17 |   342110 |   290732 |    72770      8 |        0 |        0
880.66/880.83	c  873s |      17 |   342514 |   291132 |    72770      8 |        0 |        0
882.76/882.97	c  876s |      17 |   343049 |   291632 |    72770      8 |        0 |        0
885.26/885.45	c  878s |      17 |   343697 |   292232 |    72770      8 |        0 |        0
887.36/887.59	c  880s |      17 |   344230 |   292732 |    72770      8 |        0 |        0
889.55/889.71	c  882s |      17 |   344664 |   293132 |    72770      8 |        0 |        0
891.65/891.89	c  884s |      17 |   345207 |   293632 |    72770      8 |        0 |        0
893.85/894.05	c  887s |      17 |   345774 |   294132 |    72770      8 |        0 |        0
896.36/896.53	c  889s |      17 |   346324 |   294632 |    72770      8 |        0 |        0
898.35/898.58	c  891s |      17 |   346758 |   295032 |    72770      8 |        0 |        0
900.45/900.68	c  893s |      17 |   347183 |   295432 |    72770      8 |        0 |        0
902.85/903.09	c  896s |      17 |   347741 |   295932 |    72770      8 |        0 |        0
904.55/904.79	c  897s |      18 |   348086 |   296252 |    72770      8 |        0 |        0
906.85/907.01	c  900s |      18 |   348771 |   296852 |    72770      8 |        0 |        0
908.95/909.12	c  902s |      18 |   349317 |   297352 |    72770      8 |        0 |        0
911.05/911.21	c  904s |      18 |   349996 |   297852 |    72770      8 |        0 |        0
913.25/913.42	c  906s |      18 |   350807 |   298452 |    72770      8 |        0 |        0
915.55/915.71	c  908s |      18 |   351574 |   299052 |    72770      8 |        0 |        0
927.15/927.35	c  920s |      18 |   352176 |   299552 |    72770      9 |        0 |        0
936.95/937.17	c  930s |      18 |   352281 |   299652 |    72770      9 |        0 |        0
939.05/939.27	c  932s |      18 |   354164 |   300952 |    72770      9 |        0 |        0
941.15/941.38	c  934s |      18 |   355653 |   302052 |    72770      9 |        0 |        0
947.15/947.31	c  940s |      18 |   356626 |   302952 |    72770      9 |        0 |        0
949.26/949.43	c  942s |      18 |   358318 |   304452 |    72770      9 |        0 |        0
951.25/951.50	c  944s |      18 |   359900 |   305652 |    72770      9 |        0 |        0
953.56/953.74	c  946s |      18 |   361780 |   307052 |    72770      9 |        0 |        0
955.65/955.81	c  948s |      18 |   362913 |   307852 |    72770      9 |        0 |        0
957.65/957.81	c  950s |      18 |   363997 |   308752 |    72770      9 |        0 |        0
959.75/959.94	c  953s |      18 |   365571 |   310052 |    72770      9 |        0 |        0
961.85/962.02	c  955s |      18 |   366890 |   311052 |    72770      9 |        0 |        0
964.05/964.21	c  957s |      18 |   368600 |   312252 |    72770      9 |        0 |        0
966.05/966.24	c  959s |      18 |   369793 |   313152 |    72770      9 |        0 |        0
968.15/968.31	c  961s |      18 |   371161 |   314252 |    72770      9 |        0 |        0
970.15/970.35	c  963s |      18 |   372713 |   315352 |    72770      9 |        0 |        0
972.15/972.35	c  965s |      18 |   374012 |   316452 |    72770      9 |        0 |        0
974.25/974.43	c  967s |      18 |   375034 |   317152 |    72770      9 |        0 |        0
976.75/976.92	c  970s |      18 |   375945 |   317752 |    72770      9 |        0 |        0
978.75/978.98	c  972s |      18 |   376655 |   318352 |    72770      9 |        0 |        0
980.95/981.14	c  974s |      18 |   377841 |   319352 |    72770      9 |        0 |        0
983.15/983.36	c  976s |      18 |   379160 |   320452 |    72770      9 |        0 |        0
985.35/985.50	c  978s |      18 |   380105 |   321252 |    72770      9 |        0 |        0
987.44/987.60	c  980s |      18 |   381526 |   322452 |    72770      9 |        0 |        0
989.44/989.64	c  982s |      18 |   382997 |   323652 |    72770      9 |        0 |        0
991.54/991.75	c  984s |      18 |   384412 |   324752 |    72770      9 |        0 |        0
993.54/993.79	c  986s |      18 |   385800 |   325852 |    72770      9 |        0 |        0
995.64/995.80	c  988s |      18 |   387024 |   326852 |    72770      9 |        0 |        0
997.74/997.93	c  991s |      18 |   388752 |   328152 |    72770      9 |        0 |        0
999.75/999.98	c  993s |      18 |   390246 |   329352 |    72770      9 |        0 |        0
1001.84/1002.05	c  995s |      18 |   391332 |   330252 |    72770      9 |        0 |        0
1003.94/1004.12	c  997s |      18 |   392341 |   331052 |    72770      9 |        0 |        0
1006.04/1006.24	c  999s |      18 |   393509 |   332052 |    72770      9 |        0 |        0
1008.14/1008.31	c 1001s |      18 |   394178 |   332552 |    72770      9 |        0 |        0
1010.34/1010.50	c 1003s |      18 |   395108 |   333152 |    72770      9 |        0 |        0
1012.64/1012.86	c 1005s |      18 |   395859 |   333652 |    72770      9 |        0 |        0
1014.74/1014.95	c 1008s |      18 |   396510 |   334152 |    72770      9 |        0 |        0
1016.94/1017.18	c 1010s |      18 |   397867 |   335052 |    72770      9 |        0 |        0
1019.04/1019.20	c 1012s |      18 |   399292 |   336052 |    72770      9 |        0 |        0
1025.64/1025.87	c 1018s |      18 |   399607 |   336252 |    72770     10 |        0 |        0
1027.93/1028.15	c 1021s |      18 |   399726 |   336352 |    72770     10 |        0 |        0
1034.73/1034.97	c 1028s |      18 |   400287 |   336752 |    72770     10 |        0 |        0
1039.73/1039.92	c 1033s |      18 |   402116 |   338152 |    72770     10 |        0 |        0
1041.73/1041.97	c 1035s |      18 |   404778 |   339952 |    72770     10 |        0 |        0
1043.74/1043.99	c 1037s |      18 |   406766 |   341152 |    72770     10 |        0 |        0
1045.94/1046.14	c 1039s |      18 |   409268 |   342652 |    72770     10 |        0 |        0
1047.93/1048.18	c 1041s |      18 |   411301 |   343952 |    72770     10 |        0 |        0
1050.03/1050.20	c 1043s |      18 |   413080 |   345352 |    72770     10 |        0 |        0
1052.03/1052.21	c 1045s |      18 |   414908 |   346652 |    72770     10 |        0 |        0
1054.03/1054.22	c 1047s |      18 |   418120 |   348752 |    72770     10 |        0 |        0
1056.03/1056.25	c 1049s |      18 |   420842 |   350352 |    72770     10 |        0 |        0
1058.13/1058.35	c 1051s |      18 |   422687 |   351752 |    72770     10 |        0 |        0
1060.42/1060.67	c 1053s |      18 |   424263 |   352852 |    72770     10 |        0 |        0
1062.43/1062.69	c 1055s |      18 |   425422 |   353652 |    72770     10 |        0 |        0
1064.52/1064.76	c 1057s |      18 |   427491 |   355252 |    72770     10 |        0 |        0
1066.62/1066.89	c 1059s |      18 |   429944 |   356752 |    72770     10 |        0 |        0
1068.72/1068.94	c 1062s |      18 |   432216 |   358552 |    72770     10 |        0 |        0
1070.72/1070.99	c 1064s |      18 |   433361 |   359352 |    72770     10 |        0 |        0
1072.82/1073.05	c 1066s |      18 |   434188 |   360052 |    72770     10 |        0 |        0
1074.92/1075.12	c 1068s |      18 |   435043 |   360752 |    72770     10 |        0 |        0
1077.02/1077.27	c 1070s |      18 |   435946 |   361552 |    72770     10 |        0 |        0
1079.12/1079.35	c 1072s |      18 |   436934 |   362452 |    72770     10 |        0 |        0
1081.52/1081.78	c 1074s |      18 |   437784 |   363152 |    72770     10 |        0 |        0
1083.62/1083.86	c 1076s |      18 |   438953 |   364152 |    72770     10 |        0 |        0
1085.72/1085.95	c 1079s |      18 |   440326 |   365252 |    72770     10 |        0 |        0
1087.72/1087.96	c 1081s |      18 |   441309 |   366052 |    72770     10 |        0 |        0
1090.22/1090.44	c 1083s |      18 |   442651 |   367052 |    72770     10 |        0 |        0
1092.52/1092.75	c 1085s |      18 |   443284 |   367652 |    72770     10 |        0 |        0
1094.72/1094.95	c 1088s |      18 |   443950 |   368252 |    72770     10 |        0 |        0
1096.82/1097.01	c 1090s |      18 |   444509 |   368752 |    72770     10 |        0 |        0
1098.82/1099.10	c 1092s |      18 |   445200 |   369352 |    72770     10 |        0 |        0
1101.21/1101.40	c 1094s |      18 |   445540 |   369652 |    72770     10 |        0 |        0
1103.31/1103.57	c 1096s |      18 |   446716 |   370752 |    72770     10 |        0 |        0
1105.61/1105.87	c 1098s |      18 |   447893 |   371852 |    72770     10 |        0 |        0
1107.91/1108.18	c 1101s |      18 |   448441 |   372352 |    72770     10 |        0 |        0
1127.11/1127.31	c 1120s |      18 |   448783 |   372652 |    72770     11 |        0 |        0
1157.21/1157.44	c 1150s |      18 |   448886 |   372752 |    72770     11 |        0 |        0
1159.31/1159.53	c 1152s |      18 |   450423 |   374152 |    72770     11 |        0 |        0
1161.51/1161.79	c 1154s |      18 |   452210 |   375752 |    72770     11 |        0 |        0
1163.61/1163.86	c 1156s |      18 |   454272 |   377552 |    72770     11 |        0 |        0
1165.70/1166.00	c 1159s |      18 |   456042 |   378952 |    72770     11 |        0 |        0
1167.80/1168.08	c 1161s |      18 |   457527 |   380052 |    72770     11 |        0 |        0
1170.00/1170.22	c 1163s |      18 |   458905 |   381152 |    72770     11 |        0 |        0
1172.00/1172.23	c 1165s |      18 |   460059 |   382152 |    72770     11 |        0 |        0
1174.30/1174.50	c 1167s |      18 |   460971 |   382852 |    72770     11 |        0 |        0
1176.40/1176.62	c 1169s |      18 |   462077 |   383652 |    72770     11 |        0 |        0
1179.20/1179.43	c 1172s |      18 |   462946 |   384352 |    72770     11 |        0 |        0
1181.50/1181.70	c 1174s |      18 |   463368 |   384752 |    72770     11 |        0 |        0
1183.50/1183.79	c 1176s |      18 |   463801 |   385152 |    72770     11 |        0 |        0
1185.60/1185.81	c 1178s |      18 |   464946 |   386152 |    72770     11 |        0 |        0
1197.09/1197.35	c 1190s |      18 |   466201 |   387252 |    72770     11 |        0 |        0
1199.19/1199.43	c 1192s |      18 |   467662 |   388552 |    72770     11 |        0 |        0
1201.29/1201.54	c 1194s |      18 |   469329 |   390052 |    72770     11 |        0 |        0
1203.30/1203.57	c 1196s |      18 |   470643 |   391152 |    72770     11 |        0 |        0
1205.59/1205.80	c 1198s |      18 |   471675 |   391952 |    72770     11 |        0 |        0
1207.49/1207.80	c 1200s |      18 |   473211 |   392952 |    72770     11 |        0 |        0
1209.59/1209.82	c 1202s |      18 |   475253 |   394352 |    72770     11 |        0 |        0
1211.69/1211.94	c 1205s |      18 |   476551 |   395452 |    72770     11 |        0 |        0
1213.69/1213.99	c 1207s |      18 |   478216 |   396552 |    72770     11 |        0 |        0
1215.89/1216.19	c 1209s |      18 |   479430 |   397352 |    72770     11 |        0 |        0
1218.08/1218.39	c 1211s |      18 |   480910 |   398252 |    72770     11 |        0 |        0
1220.18/1220.49	c 1213s |      18 |   482282 |   399052 |    72770     11 |        0 |        0
1222.38/1222.65	c 1215s |      18 |   483683 |   399852 |    72770     11 |        0 |        0
1224.48/1224.73	c 1217s |      18 |   485390 |   400952 |    72770     11 |        0 |        0
1226.48/1226.73	c 1219s |      18 |   487920 |   402852 |    72770     11 |        0 |        0
1228.59/1228.87	c 1221s |      18 |   490591 |   404852 |    72770     11 |        0 |        0
1230.58/1230.89	c 1223s |      18 |   492931 |   406652 |    72770     11 |        0 |        0
1232.68/1232.95	c 1226s |      18 |   495669 |   408652 |    72770     11 |        0 |        0
1234.98/1235.23	c 1228s |      18 |   496936 |   409552 |    72770     11 |        0 |        0
1242.47/1242.78	c 1235s |      18 |   497062 |   409652 |    72770     12 |        0 |        0
1250.58/1250.85	c 1243s |      18 |   497733 |   410052 |    72770     12 |        0 |        0
1374.44/1374.78	c 1367s |      18 |   497868 |   410152 |    72770     12 |        0 |        0
1376.54/1376.81	c 1369s |      18 |   501174 |   412352 |    72770     12 |        0 |        0
1378.54/1378.87	c 1371s |      18 |   504644 |   415052 |    72770     12 |        0 |        0
1380.64/1380.90	c 1374s |      18 |   508119 |   418052 |    72770     12 |        0 |        0
1382.74/1383.01	c 1376s |      18 |   509969 |   419452 |    72770     12 |        0 |        0
1384.74/1385.05	c 1378s |      18 |   512163 |   421052 |    72770     12 |        0 |        0
1386.74/1387.08	c 1380s |      18 |   514638 |   422952 |    72770     12 |        0 |        0
1388.83/1389.16	c 1382s |      18 |   516340 |   424352 |    72770     12 |        0 |        0
1390.83/1391.16	c 1384s |      18 |   518716 |   426252 |    72770     12 |        0 |        0
1393.03/1393.32	c 1386s |      18 |   520475 |   427752 |    72770     12 |        0 |        0
1395.13/1395.40	c 1388s |      18 |   522695 |   429452 |    72770     12 |        0 |        0
1397.13/1397.42	c 1390s |      18 |   524958 |   431152 |    72770     12 |        0 |        0
1399.23/1399.54	c 1392s |      18 |   526188 |   432152 |    80047     12 |        0 |        0
1401.33/1401.65	c 1394s |      18 |   527944 |   433452 |    80047     12 |        0 |        0
1403.44/1403.79	c 1396s |      18 |   529929 |   434852 |    80047     12 |        0 |        0
1405.64/1405.99	c 1399s |      18 |   532078 |   436252 |    80047     12 |        0 |        0
1407.73/1408.08	c 1401s |      18 |   534558 |   438052 |    80047     12 |        0 |        0
1409.93/1410.26	c 1403s |      18 |   536246 |   439252 |    80047     12 |        0 |        0
1412.03/1412.31	c 1405s |      18 |   537894 |   440452 |    80047     12 |        0 |        0
1414.03/1414.39	c 1407s |      18 |   539218 |   441452 |    80047     12 |        0 |        0
1416.23/1416.53	c 1409s |      18 |   540312 |   442352 |    80047     12 |        0 |        0
1418.23/1418.55	c 1411s |      18 |   542002 |   443752 |    80047     12 |        0 |        0
1419.23/1419.59	c 1412s |      19 |   542949 |   444482 |    80047     12 |        0 |        0
1421.53/1421.83	c 1414s |      19 |   543957 |   445282 |    80047     12 |        0 |        0
1423.72/1424.03	c 1417s |      19 |   545086 |   446182 |    80047     12 |        0 |        0
1425.82/1426.19	c 1419s |      19 |   545999 |   446982 |    80047     12 |        0 |        0
1428.22/1428.52	c 1421s |      19 |   546780 |   447682 |    80047     12 |        0 |        0
1430.42/1430.73	c 1423s |      19 |   547522 |   448382 |    80047     12 |        0 |        0
1432.52/1432.89	c 1425s |      19 |   548287 |   449082 |    80047     12 |        0 |        0
1434.92/1435.25	c 1428s |      19 |   548803 |   449482 |    80047     12 |        0 |        0
1437.12/1437.47	c 1430s |      19 |   549907 |   450282 |    80047     12 |        0 |        0
1439.22/1439.52	c 1432s |      19 |   550774 |   451082 |    80047     12 |        0 |        0
1441.42/1441.71	c 1434s |      19 |   551743 |   451882 |    80047     12 |        0 |        0
1443.42/1443.74	c 1436s |      19 |   552533 |   452582 |    80047     12 |        0 |        0
1445.52/1445.86	c 1438s |      19 |   553399 |   453182 |    80047     12 |        0 |        0
1458.42/1458.73	c 1451s |      19 |   553743 |   453382 |    80047     13 |        0 |        0
1529.10/1529.48	c 1522s |      19 |   553908 |   453482 |    80047     13 |        0 |        0
1531.20/1531.51	c 1524s |      19 |   554908 |   454382 |    80047     13 |        0 |        0
1533.30/1533.61	c 1526s |      19 |   556479 |   455682 |    80047     13 |        0 |        0
1535.30/1535.68	c 1528s |      19 |   557694 |   456782 |    80047     13 |        0 |        0
1537.39/1537.79	c 1530s |      19 |   558569 |   457482 |    80047     13 |        0 |        0
1539.70/1540.03	c 1533s |      19 |   559385 |   458182 |    80047     13 |        0 |        0
1542.09/1542.44	c 1535s |      19 |   560146 |   458882 |    80047     13 |        0 |        0
1544.10/1544.47	c 1537s |      19 |   561040 |   459682 |    80047     13 |        0 |        0
1546.30/1546.64	c 1539s |      19 |   561755 |   460382 |    80047     13 |        0 |        0
1548.39/1548.70	c 1541s |      19 |   562921 |   461382 |    80047     13 |        0 |        0
1550.39/1550.73	c 1543s |      19 |   564083 |   462382 |    80047     13 |        0 |        0
1552.49/1552.80	c 1545s |      19 |   565145 |   463282 |    80047     13 |        0 |        0
1554.59/1554.97	c 1548s |      19 |   566083 |   464082 |    80047     13 |        0 |        0
1556.79/1557.19	c 1550s |      19 |   566931 |   464882 |    80047     13 |        0 |        0
1559.08/1559.47	c 1552s |      19 |   567800 |   465682 |    80047     13 |        0 |        0
1561.28/1561.64	c 1554s |      19 |   568469 |   466282 |    80047     13 |        0 |        0
1563.48/1563.80	c 1556s |      19 |   569250 |   466882 |    80047     13 |        0 |        0
1565.58/1565.95	c 1559s |      19 |   569779 |   467382 |    80047     13 |        0 |        0
1567.68/1568.06	c 1561s |      19 |   570434 |   467982 |    80047     13 |        0 |        0
1569.78/1570.11	c 1563s |      19 |   571510 |   468882 |    80047     13 |        0 |        0
1571.88/1572.28	c 1565s |      19 |   572341 |   469682 |    80047     13 |        0 |        0
1574.08/1574.46	c 1567s |      19 |   573063 |   470382 |    80047     13 |        0 |        0
1576.28/1576.64	c 1569s |      19 |   573776 |   471082 |    80047     13 |        0 |        0
1578.38/1578.76	c 1571s |      19 |   574490 |   471782 |    80047     13 |        0 |        0
1580.38/1580.78	c 1573s |      19 |   575212 |   472482 |    80047     13 |        0 |        0
1582.58/1582.96	c 1576s |      19 |   575944 |   473182 |    80047     13 |        0 |        0
1584.68/1585.05	c 1578s |      19 |   576825 |   473982 |    80047     13 |        0 |        0
1586.88/1587.22	c 1580s |      19 |   577568 |   474682 |    80047     13 |        0 |        0
1588.87/1589.24	c 1582s |      19 |   578206 |   475282 |    80047     13 |        0 |        0
1591.27/1591.62	c 1584s |      19 |   578978 |   475982 |    80047     13 |        0 |        0
1593.27/1593.70	c 1586s |      19 |   579635 |   476582 |    80047     13 |        0 |        0
1595.57/1595.90	c 1588s |      19 |   580309 |   477182 |    80047     13 |        0 |        0
1597.57/1597.99	c 1591s |      19 |   580975 |   477782 |    80047     13 |        0 |        0
1599.57/1600.00	c 1593s |      19 |   581626 |   478382 |    80047     13 |        0 |        0
1601.77/1602.11	c 1595s |      19 |   582296 |   478982 |    80047     13 |        0 |        0
1603.77/1604.13	c 1597s |      19 |   583052 |   479682 |    80047     13 |        0 |        0
1605.87/1606.21	c 1599s |      19 |   583741 |   480282 |    80047     13 |        0 |        0
1607.97/1608.38	c 1601s |      19 |   584523 |   480982 |    80047     13 |        0 |        0
1610.07/1610.44	c 1603s |      19 |   585274 |   481682 |    80047     13 |        0 |        0
1612.27/1612.67	c 1605s |      19 |   586204 |   482482 |    80047     13 |        0 |        0
1614.47/1614.90	c 1607s |      19 |   587276 |   483282 |    80047     13 |        0 |        0
1616.77/1617.14	c 1610s |      19 |   588275 |   484082 |    80047     13 |        0 |        0
1618.87/1619.29	c 1612s |      19 |   589280 |   484882 |    80047     13 |        0 |        0
1620.96/1621.31	c 1614s |      19 |   590109 |   485582 |    80047     13 |        0 |        0
1623.27/1623.62	c 1616s |      19 |   591068 |   486382 |    80047     13 |        0 |        0
1625.47/1625.87	c 1618s |      19 |   592068 |   487182 |    80047     13 |        0 |        0
1627.66/1628.00	c 1621s |      19 |   593023 |   487982 |    80047     13 |        0 |        0
1629.86/1630.22	c 1623s |      19 |   593843 |   488682 |    80047     13 |        0 |        0
1632.06/1632.48	c 1625s |      19 |   594514 |   489282 |    80047     13 |        0 |        0
1634.36/1634.74	c 1627s |      19 |   595301 |   489982 |    80047     13 |        0 |        0
1636.36/1636.76	c 1629s |      19 |   595994 |   490582 |    80047     13 |        0 |        0
1638.55/1638.97	c 1632s |      19 |   596908 |   491282 |    80047     13 |        0 |        0
1640.75/1641.18	c 1634s |      19 |   597719 |   491982 |    80047     13 |        0 |        0
1642.95/1643.32	c 1636s |      19 |   598710 |   492782 |    80047     13 |        0 |        0
1648.96/1649.30	c 1642s |      19 |   599716 |   493582 |    80047     14 |        0 |        0
1653.45/1653.88	c 1646s |      19 |   600036 |   493882 |    80047     14 |        0 |        0
1655.75/1656.12	c 1649s |      19 |   601042 |   494782 |    80047     14 |        0 |        0
1657.85/1658.20	c 1651s |      19 |   602345 |   495782 |    80047     14 |        0 |        0
1660.05/1660.41	c 1653s |      19 |   603647 |   496782 |    80047     14 |        0 |        0
1662.05/1662.49	c 1655s |      19 |   604855 |   497782 |    80047     14 |        0 |        0
1664.25/1664.68	c 1657s |      19 |   605813 |   498582 |    80047     14 |        0 |        0
1666.55/1666.91	c 1660s |      19 |   606039 |   498782 |    80047     14 |        0 |        0
1668.54/1668.95	c 1662s |      19 |   607206 |   499482 |    80047     14 |        0 |        0
1670.74/1671.10	c 1664s |      19 |   608556 |   500382 |    80047     14 |        0 |        0
1672.75/1673.13	c 1666s |      19 |   609629 |   501382 |    80047     14 |        0 |        0
1674.85/1675.20	c 1668s |      19 |   610586 |   502282 |    80047     14 |        0 |        0
1676.85/1677.30	c 1670s |      19 |   611415 |   503082 |    80047     14 |        0 |        0
1679.05/1679.42	c 1672s |      19 |   612763 |   504082 |    80047     14 |        0 |        0
1681.15/1681.55	c 1674s |      19 |   613921 |   504982 |    80047     14 |        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-4117357-1467210816/watcher-4117357-1467210816 -o /tmp/evaluation-result-4117357-1467210816/solver-4117357-1467210816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19135 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117357-1467210816.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.30 2.27 2.17 4/169 19294
/proc/meminfo: memFree=29626596/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=761276 CPUtime=0 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 2844 0 0 0 0 0 0 0 20 0 4 0 11110166 779546624 3204 33554432000 4194304 16246674 140735445193200 140735445192624 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 190831 3215 441 2943 0 187725 0
[pid=19294/tid=19295] ppid=19291 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 796323840 3272 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 801566720 3292 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=787900 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11110166 806809600 3308 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100075 s]
/proc/loadavg: 2.30 2.27 2.17 4/169 19294
/proc/meminfo: memFree=29626596/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 28718 0 0 0 5 4 0 0 20 0 4 0 11110166 1333334016 29017 33554432000 4194304 16246674 140735445193200 140735445192512 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 325521 29032 800 2943 0 322415 0
[pid=19294/tid=19295] ppid=19291 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1333334016 29043 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1333334016 29055 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1333334016 29065 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.30 2.27 2.17 4/169 19294
/proc/meminfo: memFree=29626596/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 47391 0 0 0 12 7 0 0 20 0 4 0 11110166 1344868352 48200 33554432000 4194304 16246674 140735445193200 140735445192512 7440232 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 328337 48200 800 2943 0 325231 0
[pid=19294/tid=19295] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 48200 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 48200 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 48200 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300491 s]
/proc/loadavg: 2.30 2.27 2.17 4/169 19294
/proc/meminfo: memFree=29626596/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 50931 0 0 0 22 7 0 0 20 0 4 0 11110166 1344868352 51740 33554432000 4194304 16246674 140735445193200 140735445192512 6965390 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 328337 51740 842 2943 0 325231 0
[pid=19294/tid=19295] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 51740 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 51740 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 51740 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700399 s]
/proc/loadavg: 2.30 2.27 2.17 4/169 19294
/proc/meminfo: memFree=29626596/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 111968 0 0 0 53 16 0 0 20 0 4 0 11110166 1344868352 112777 33554432000 4194304 16246674 140735445193200 140735445192512 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 328337 112783 888 2943 0 325231 0
[pid=19294/tid=19295] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 112786 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 112790 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 112794 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.28 2.27 2.17 3/182 19311
/proc/meminfo: memFree=28283920/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 224743 0 0 0 119 30 0 0 20 0 4 0 11110166 1344868352 225553 33554432000 4194304 16246674 140735445193200 140735445175104 5513274 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 328337 225559 888 2943 0 325231 0
[pid=19294/tid=19295] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 225562 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 225566 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1344868352 225569 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.28 2.27 2.17 3/182 19311
/proc/meminfo: memFree=27463040/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1318468 CPUtime=3.09 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 270228 0 0 0 272 37 0 0 20 0 4 0 11110166 1350111232 271037 33554432000 4194304 16246674 140735445193200 140735445175104 5754801 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 329617 271037 891 2943 0 326511 0
[pid=19294/tid=19295] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271037 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271037 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271037 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1318468

[startup+6.30041 s]
/proc/loadavg: 2.28 2.27 2.17 3/183 19312
/proc/meminfo: memFree=27462924/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1318468 CPUtime=6.29 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 270313 0 0 0 592 37 0 0 20 0 4 0 11110166 1350111232 271122 33554432000 4194304 16246674 140735445193200 140735445175104 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 329617 271122 912 2943 0 326511 0
[pid=19294/tid=19295] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271122 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271122 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271122 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1318468

[startup+12.7004 s]
/proc/loadavg: 2.24 2.26 2.17 3/183 19312
/proc/meminfo: memFree=27463504/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 270314 0 0 0 1232 37 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140735445175104 5522986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 329617 271123 913 2943 0 326511 0
[pid=19294/tid=19295] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.27 2.26 2.17 3/183 19312
/proc/meminfo: memFree=27464264/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1318468 CPUtime=25.48 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 270314 0 0 0 2511 37 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140735445175104 5829939 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 329617 271123 913 2943 0 326511 0
[pid=19294/tid=19295] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271123 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.22 2.25 2.17 4/183 19312
/proc/meminfo: memFree=27464396/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 270315 0 0 0 5071 37 0 0 20 0 4 0 11110166 1350111232 271124 33554432000 4194304 16246674 140735445193200 140735445175104 5825511 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 329617 271124 913 2943 0 326511 0
[pid=19294/tid=19295] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271124 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271124 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1350111232 271124 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.3 s]
/proc/loadavg: 2.17 2.24 2.17 3/183 19313
/proc/meminfo: memFree=27420512/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1335876 CPUtime=102.28 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 274677 0 0 0 10190 38 0 0 20 0 4 0 11110166 1367937024 275486 33554432000 4194304 16246674 140735445193200 140735445175104 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 333969 275486 920 2943 0 330863 0
[pid=19294/tid=19295] ppid=19291 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1367937024 275486 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1367937024 275486 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1367937024 275486 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1335876


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

/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1379908

[startup+1302.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/183 19343
/proc/meminfo: memFree=27309240/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1302.06 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285760 0 0 0 130120 86 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445191040 4226104 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1379908

[startup+1362.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 19344
/proc/meminfo: memFree=27309412/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1362.04 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285778 0 0 0 136111 93 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445192376 13897015 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1379908

[startup+1422.3 s]
/proc/loadavg: 2.18 2.20 2.18 4/183 19345
/proc/meminfo: memFree=27309244/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1422.03 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285792 0 0 0 142109 94 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445175104 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1379908

[startup+1482.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/183 19346
/proc/meminfo: memFree=27309024/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1482.01 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285808 0 0 0 148103 98 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445191040 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1379908

[startup+1542.31 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 19348
/proc/meminfo: memFree=27309204/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1542 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285825 0 0 0 154099 101 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445175104 5673822 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1379908

[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/184 19352
/proc/meminfo: memFree=27309272/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1601.97 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285848 0 0 0 160096 101 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445175104 5677403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1379908

[startup+1662.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/184 19376
/proc/meminfo: memFree=27309372/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1661.95 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285876 0 0 0 166093 102 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445175104 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1379908

[startup+1722.3 s]
/proc/loadavg: 2.13 2.18 2.18 3/183 19377
/proc/meminfo: memFree=27308388/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1721.94 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285882 0 0 0 172089 105 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445192296 4220912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1379908

[startup+1782.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/183 19378
/proc/meminfo: memFree=27307800/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1781.93 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285882 0 0 0 178083 110 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445192296 4224743 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1379908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.17 2.17 3/183 19378
/proc/meminfo: memFree=27307776/32872528 swapFree=1394328/1580332
[pid=19294] ppid=19291 vsize=1379908 CPUtime=1800.03 cores=0,2,4,6
/proc/19294/stat : 19294 (toysat) R 19291 19294 19119 0 -1 4202496 285882 0 0 0 179891 112 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140735445192296 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19294/statm: 344977 286497 920 2943 0 341871 0
[pid=19294/tid=19295] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19295/stat : 19295 (toysat) S 19291 19294 19119 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561598098672 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19294/tid=19296] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19296/stat : 19296 (toysat) S 19291 19294 19119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561587608816 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19294/tid=19297] ppid=19291 vsize=1379908 CPUtime=0 cores=0,2,4,6
/proc/19294/task/19297/stat : 19297 (toysat) S 19291 19294 19119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11110166 1413025792 286497 33554432000 4194304 16246674 140735445193200 140561577135280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1379908

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.92
CPU system time (s): 1.12483
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1379908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.12483
maximum resident set size= 1145988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285882
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= 212
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67529 second user time and 6.81596 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-29 16:33:36
IDJOB=4117357
IDBENCH=111566
IDSOLVER=2542
FILE ID=node139/4117357-1467210816
RUNJOBID= node139-1467208982-19135
PBS_JOBID= 19997572
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117357-1467210816/watcher-4117357-1467210816 -o /tmp/evaluation-result-4117357-1467210816/solver-4117357-1467210816 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467208982-19135 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4117357-1467210816.opb

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

MD5SUM BENCH= 0d740787fb33d4314168b5d1de29de61
RANDOM SEED=1757157642

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29627356 kB
Buffers:           93312 kB
Cached:           834428 kB
SwapCached:         3080 kB
Active:           710520 kB
Inactive:         221944 kB
Active(anon):       4144 kB
Inactive(anon):     3176 kB
Active(file):     706376 kB
Inactive(file):   218768 kB
Unevictable:     1580332 kB
Mlocked:         1394328 kB
SwapTotal:      67108856 kB
SwapFree:       67097568 kB
Dirty:             34964 kB
Writeback:             0 kB
AnonPages:       1568560 kB
Mapped:             8356 kB
Shmem:                 0 kB
Slab:             599348 kB
SReclaimable:      43784 kB
SUnreclaim:       555564 kB
KernelStack:        1512 kB
PageTables:         6964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1675832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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= 71676 MiB
End job on node139 at 2016-06-29 17:03:36