Trace number 4080140

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_4.opb
MD5SUMefe239846afd4f2627c83cec32ebc27d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint61
Maximum length of a constraint107
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37458
Sum of products size (including duplicates)74916
Number of different products37458
Sum of products size74916

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-07T01:23:41+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-4080140-1465255421.opb"]
0.00/0.01	c use --random-gen="3707005608 445813397 2286776981 3085964547 661574609 2985977623 733298024 546948596 3631339190 158786565 384826 2825240567 739794324 2090931044 1478671166 3741005393 726109581 1232663144 3952074813 3283787640 3316108198 756769264 260413353 201448193 2902029678 2165894372 1811736217 3018746914 2139655077 2225637829 3061002233 1379044354 1010474446 3178581457 1857077612 3653275492 1130356470 3182679330 3598991820 2129320897 2906551973 2405849021 3323825695 1657874746 3704138463 2277156615 2650022429 2150422055 1564759083 2424735457 1950748755 2949650864 3345077245 8270710 1082734897 1983552730 449363480 2261538297 131354803 1622643538 4028531080 2467191017 2921990862 804036337 3996450533 2609374935 943309742 105744570 1845293455 285611057 4241349796 1277481974 2691801701 1240774338 2801989744 1871144127 3724359627 2302164079 1296363683 201205010 1505551315 2065155764 4168875117 3094662844 631814997 1110007888 1110548987 744118582 831170255 2231767241 379356873 2538878626 2164756963 620267288 3757972395 111086545 3215642108 3449433099 714564857 3254935816 2591992234 3027920319 2634573969 312512234 3948140942 625145074 861674082 801637389 2343056748 2159413592 3633315494 1731093555 2659134570 2747207637 4025442320 2667282780 3064335938 3933288210 2509240609 2343735957 3314098287 2142553836 2356703154 656057543 340041912 545916954 2617666557 4001073939 3038985953 3797739177 778601277 1815673488 943184468 1939547220 621719788 1936872781 2163031877 1902845802 2901556430 3111469094 1808708700 589242256 3393290312 3946346099 3196841145 3790604817 3360469077 491659849 134183863 3804879670 4257752300 1965155073 2949337426 1869599553 2907083271 2897199098 629565602 1017319768 3599128611 3250287065 1190666127 428615951 2115841859 3050510376 907748715 2168631583 1684595698 806244821 3793659717 952985242 3975536561 4029062017 1731243315 1383591449 637596729 3146464065 1741506763 896612994 2206647484 3993631003 798357473 3723811766 2359967757 1698329671 736243046 4091154555 1257380337 2975525589 2372178233 2649727154 3430447537 4131724570 2948017104 2960895411 3861970530 792525662 2523478636 3167529171 1884278009 1636742456 2466845704 2389080721 1806913887 1007113926 3821085174 1524614370 1622438718 2463726671 3144094042 3482136185 1370924352 1648051377 2557276931 1199664923 3408079309 4050342925 2815977748 4098565914 2188435122 1475537362 1070625461 2334539699 4216659562 1581111153 418208914 1386720393 3402156194 1430743178 3879829990 3356378606 2476426575 1399594736 3518662363 3433886347 421597797 1007045725 2097995299 1594642057 2596452817 4221892862 3806693284 2827250612 2403905196 3080275229 2403562088 2476028961 302000802 129671336 3800343331 1450263225 663304880 989747189 610519031 2101219141 42381009 700629359 255 362436" option to reproduce the execution
0.09/0.13	c #vars 500
0.09/0.13	c #constraints 500
0.79/0.88	c BCD2: Hardening is enabled.
0.79/0.88	c BCD2: BiasedSearch is enabled.
0.79/0.88	c Solving starts ...
0.79/0.88	c ============================[ Search Statistics ]============================
0.79/0.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.88	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.88	c =============================================================================
0.79/0.88	c  0.0s |       0 |        0 |        0 |    37791      0 |        0 |        0
0.99/1.00	c  0.1s |       0 |     2172 |        0 |    37791      0 |        0 |        0
0.99/1.00	c #cpu_time = 0.095s
0.99/1.00	c #wall_clock_time = 0.095s
0.99/1.00	c #decision = 2172
0.99/1.00	c #random_decision = 1
0.99/1.00	c #conflict = 0
0.99/1.00	c #restart = 0
0.99/1.00	o 465
0.99/1.00	c BCD2: updating upper bound: 500 -> 464
0.99/1.00	c BCD2: 0 <= obj <= 464
0.99/1.00	c BCD2: #cores=0, #unrelaxed=500, #relaxed=0, #hardened=0
0.99/1.00	c BCD2: #sat=1 #unsat=1 bias=1/2
0.99/1.00	c Solving starts ...
0.99/1.00	c ============================[ Search Statistics ]============================
0.99/1.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.99/1.00	c       |         |          |          |    Limit     GC | Var      | Constra 
0.99/1.00	c =============================================================================
0.99/1.00	c  0.0s |       0 |        0 |        0 |    37791      0 |        0 |        0
1.09/1.11	c  0.1s |       0 |      470 |        0 |    37791      0 |        0 |        0
1.09/1.11	c #cpu_time = 0.097s
1.09/1.11	c #wall_clock_time = 0.097s
1.09/1.11	c #decision = 470
1.09/1.11	c #random_decision = 0
1.09/1.11	c #conflict = 0
1.09/1.11	c #restart = 0
1.09/1.11	c BCD2: found a new core of size 65: cost of the new core is >=1
1.09/1.11	c lower bound updated to 1
1.09/1.11	c BCD2: 1 <= obj <= 464
1.09/1.11	c BCD2: #cores=1, #unrelaxed=435, #relaxed=65, #hardened=0
1.09/1.11	c BCD2: #sat=1 #unsat=2 bias=2/3
1.09/1.11	c Solving starts ...
1.09/1.11	c ============================[ Search Statistics ]============================
1.09/1.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.09/1.11	c       |         |          |          |    Limit     GC | Var      | Constra 
1.09/1.11	c =============================================================================
1.19/1.22	c  0.0s |       0 |        0 |        0 |    37791      0 |        0 |        0
1.29/1.33	c  0.1s |       0 |     3468 |        0 |    37791      0 |        0 |        0
1.29/1.33	c #cpu_time = 0.083s
1.29/1.33	c #wall_clock_time = 0.083s
1.29/1.33	c #decision = 3468
1.29/1.33	c #random_decision = 3
1.29/1.33	c #conflict = 0
1.29/1.33	c #restart = 0
1.29/1.33	o 41
1.29/1.33	c BCD2: updating upper bound: 464 -> 40
1.29/1.34	c BCD2: 1 <= obj <= 40
1.29/1.34	c BCD2: #cores=1, #unrelaxed=435, #relaxed=65, #hardened=0
1.29/1.34	c BCD2: #sat=2 #unsat=2 bias=2/4
1.29/1.34	c Solving starts ...
1.29/1.34	c ============================[ Search Statistics ]============================
1.29/1.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.34	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.34	c =============================================================================
1.29/1.34	c  0.0s |       0 |        0 |        0 |    37791      0 |        0 |        1
1.59/1.62	c  0.3s |       1 |     1196 |      100 |    37791      0 |        0 |        1
2.09/2.16	c  0.8s |       2 |     2021 |      250 |    41571      0 |        0 |        1
2.79/2.86	c  1.5s |       3 |     2921 |      475 |    45729      0 |        0 |        1
3.69/3.77	c  2.4s |       4 |     4045 |      813 |    50302      0 |        0 |        1
5.09/5.15	c  3.8s |       5 |     5570 |     1320 |    55333      0 |        0 |        1
7.18/7.25	c  5.9s |       6 |     7706 |     2081 |    66954      0 |        0 |        1
9.38/9.44	c  8.1s |       6 |     9677 |     2881 |    66954      0 |        0 |        1
10.39/10.44	c  9.1s |       7 |    10234 |     3223 |    73650      0 |        0 |        1
12.59/12.62	c 11.3s |       7 |    11994 |     3923 |    73650      0 |        0 |        1
14.69/14.79	c 13.5s |       7 |    13201 |     4623 |    73650      0 |        0 |        1
15.79/15.82	c 14.5s |       8 |    13723 |     4936 |    81015      0 |        0 |        1
17.79/17.87	c 16.5s |       8 |    15267 |     5536 |    81015      0 |        0 |        1
19.98/20.02	c 18.7s |       8 |    16447 |     6136 |    81015      0 |        0 |        1
22.29/22.32	c 21.0s |       8 |    17698 |     6736 |    81015      0 |        0 |        1
24.49/24.57	c 23.2s |       8 |    19003 |     7336 |    81015      0 |        0 |        1
25.29/25.34	c 24.0s |       9 |    19277 |     7506 |    89117      0 |        0 |        1
27.38/27.41	c 26.1s |       9 |    21088 |     8106 |    89117      0 |        0 |        1
29.58/29.62	c 28.3s |       9 |    22444 |     8706 |    89117      0 |        0 |        1
31.78/31.86	c 30.5s |       9 |    23520 |     9206 |    89117      0 |        0 |        1
33.99/34.08	c 32.7s |       9 |    24619 |     9806 |    89117      0 |        0 |        1
36.29/36.40	c 35.1s |       9 |    25788 |    10406 |    89117      0 |        0 |        1
38.59/38.68	c 37.3s |       9 |    28002 |    10876 |    89117      0 |        0 |        1
38.59/38.68	c #cpu_time = 37.308s
38.59/38.68	c #wall_clock_time = 37.307s
38.59/38.68	c #decision = 28002
38.59/38.68	c #random_decision = 18
38.59/38.68	c #conflict = 10876
38.59/38.68	c #restart = 9
38.59/38.68	o 21
38.59/38.68	c BCD2: updating upper bound: 40 -> 20
38.59/38.69	c BCD2: 1 <= obj <= 20
38.59/38.69	c BCD2: #cores=1, #unrelaxed=435, #relaxed=65, #hardened=0
38.59/38.69	c BCD2: #sat=3 #unsat=2 bias=2/5
38.59/38.69	c Solving starts ...
38.59/38.69	c ============================[ Search Statistics ]============================
38.59/38.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
38.59/38.69	c       |         |          |          |    Limit     GC | Var      | Constra 
38.59/38.69	c =============================================================================
38.59/38.69	c  0.0s |       0 |        0 |        0 |    89117      0 |        0 |        2
39.18/39.26	c  0.6s |       1 |      620 |      100 |    89117      0 |        0 |        2
39.98/40.04	c  1.4s |       2 |     1319 |      250 |    89117      0 |        0 |        2
41.08/41.15	c  2.5s |       3 |     2249 |      475 |    98029      0 |        0 |        2
42.99/43.01	c  4.3s |       4 |     3340 |      813 |    98029      0 |        0 |        2
45.09/45.13	c  6.4s |       4 |     4414 |     1213 |    98029      0 |        0 |        2
45.58/45.67	c  7.0s |       5 |     4591 |     1320 |    98029      0 |        0 |        2
47.88/47.93	c  9.2s |       5 |     5796 |     1720 |    98029      0 |        0 |        2
49.88/49.94	c 11.3s |       6 |     6343 |     2081 |    98029      0 |        0 |        2
52.38/52.42	c 13.7s |       6 |     7433 |     2481 |    98029      0 |        0 |        2
54.99/55.06	c 16.4s |       6 |     8336 |     2981 |    98029      0 |        0 |        2
56.48/56.59	c 17.9s |       7 |     8713 |     3223 |    98029      0 |        0 |        2
58.78/58.86	c 20.2s |       7 |     9686 |     3523 |    98029      0 |        0 |        2
61.18/61.20	c 22.5s |       7 |    10337 |     3923 |    98029      0 |        0 |        2
63.38/63.43	c 24.7s |       7 |    11051 |     4323 |    98029      0 |        0 |        2
65.88/65.94	c 27.2s |       7 |    11760 |     4723 |    98029      0 |        0 |        2
67.09/67.18	c 28.5s |       8 |    12144 |     4936 |    98029      0 |        0 |        2
69.38/69.42	c 30.7s |       8 |    13138 |     5236 |    98029      0 |        0 |        2
71.98/72.01	c 33.3s |       8 |    13854 |     5636 |    98029      0 |        0 |        2
74.28/74.30	c 35.6s |       8 |    14327 |     5936 |    98029      0 |        0 |        2
76.37/76.44	c 37.8s |       8 |    14786 |     6236 |   107832      0 |        0 |        2
78.87/78.91	c 40.2s |       8 |    15529 |     6636 |   107832      0 |        0 |        2
80.98/81.01	c 42.3s |       8 |    16059 |     6936 |   107832      0 |        0 |        2
82.97/83.08	c 44.4s |       8 |    16613 |     7236 |   107832      0 |        0 |        2
84.68/84.77	c 46.1s |       9 |    17047 |     7506 |   107832      0 |        0 |        2
86.88/87.00	c 48.3s |       9 |    18042 |     7806 |   107832      0 |        0 |        2
89.38/89.41	c 50.7s |       9 |    18608 |     8106 |   107832      0 |        0 |        2
91.38/91.49	c 52.8s |       9 |    19322 |     8506 |   107832      0 |        0 |        2
93.88/93.99	c 55.3s |       9 |    19993 |     8906 |   107832      0 |        0 |        2
96.48/96.51	c 57.8s |       9 |    20660 |     9306 |   107832      0 |        0 |        2
99.08/99.17	c 60.5s |       9 |    21312 |     9706 |   107832      0 |        0 |        2
101.18/101.28	c 62.6s |       9 |    21830 |    10006 |   107832      0 |        0 |        2
103.27/103.37	c 64.7s |       9 |    22531 |    10406 |   107832      0 |        0 |        2
105.58/105.66	c 67.0s |       9 |    23217 |    10806 |   107832      0 |        0 |        2
108.18/108.22	c 69.5s |       9 |    23981 |    11206 |   107832      0 |        0 |        2
109.27/109.31	c 70.6s |      10 |    24327 |    11361 |   107832      0 |        0 |        2
111.78/111.83	c 73.1s |      10 |    25294 |    11661 |   107832      0 |        0 |        2
114.18/114.25	c 75.6s |      10 |    25839 |    11961 |   107832      0 |        0 |        2
116.47/116.54	c 77.8s |      10 |    26339 |    12261 |   107832      0 |        0 |        2
118.47/118.55	c 79.9s |      10 |    26838 |    12561 |   107832      0 |        0 |        2
120.77/120.83	c 82.1s |      10 |    27450 |    12861 |   107832      0 |        0 |        2
123.37/123.40	c 84.7s |      10 |    28058 |    13161 |   107832      0 |        0 |        2
125.57/125.62	c 86.9s |      10 |    28400 |    13361 |   107832      0 |        0 |        2
127.76/127.86	c 89.2s |      10 |    28760 |    13561 |   107832      0 |        0 |        2
130.57/130.60	c 91.9s |      10 |    29307 |    13861 |   107832      0 |        0 |        2
132.87/132.99	c 94.3s |      10 |    29735 |    14061 |   107832      0 |        0 |        2
135.57/135.63	c 96.9s |      10 |    30146 |    14261 |   107832      0 |        0 |        2
137.57/137.67	c 99.0s |      10 |    30501 |    14461 |   107832      0 |        0 |        2
140.17/140.26	c  101s |      10 |    30845 |    14661 |   107832      0 |        0 |        2
142.47/142.52	c  103s |      10 |    31373 |    14961 |   118616      0 |        0 |        2
144.96/145.05	c  106s |      10 |    31937 |    15261 |   118616      0 |        0 |        2
146.97/147.08	c  108s |      10 |    32324 |    15461 |   118616      0 |        0 |        2
150.07/150.11	c  111s |      10 |    32634 |    15661 |   118616      0 |        0 |        2
152.57/152.69	c  114s |      10 |    32954 |    15861 |   118616      0 |        0 |        2
155.37/155.45	c  116s |      10 |    33343 |    16061 |   118616      0 |        0 |        2
158.17/158.23	c  119s |      10 |    33669 |    16261 |   118616      0 |        0 |        2
160.47/160.57	c  121s |      10 |    33992 |    16461 |   118616      0 |        0 |        2
162.87/162.93	c  124s |      10 |    34364 |    16661 |   118616      0 |        0 |        2
164.87/164.97	c  126s |      10 |    34882 |    16961 |   118616      0 |        0 |        2
166.37/166.40	c  127s |      11 |    35132 |    17144 |   118616      0 |        0 |        2
169.17/169.24	c  130s |      11 |    35910 |    17344 |   118616      0 |        0 |        2
171.46/171.57	c  132s |      11 |    36332 |    17544 |   118616      0 |        0 |        2
174.27/174.34	c  135s |      11 |    36638 |    17744 |   118616      0 |        0 |        2
177.57/177.61	c  138s |      11 |    37104 |    18044 |   118616      0 |        0 |        2
180.16/180.27	c  141s |      11 |    37848 |    18444 |   118616      0 |        0 |        2
182.46/182.58	c  143s |      11 |    38351 |    18744 |   118616      0 |        0 |        2
184.56/184.62	c  145s |      11 |    38874 |    19044 |   118616      0 |        0 |        2
186.66/186.70	c  148s |      11 |    39435 |    19344 |   118616      0 |        0 |        2
189.06/189.14	c  150s |      11 |    39928 |    19644 |   118616      0 |        0 |        2
191.96/192.01	c  153s |      11 |    40463 |    19944 |   118616      0 |        0 |        2
194.86/194.92	c  156s |      11 |    40788 |    20144 |   118616      0 |        0 |        2
197.66/197.73	c  159s |      11 |    41124 |    20344 |   118616      0 |        0 |        2
200.45/200.52	c  161s |      11 |    41499 |    20544 |   118616      0 |        0 |        2
202.96/203.00	c  164s |      11 |    41855 |    20744 |   118616      0 |        0 |        2
205.96/206.05	c  167s |      11 |    42200 |    20944 |   118616      0 |        0 |        2
209.36/209.44	c  170s |      11 |    42593 |    21144 |   118616      0 |        0 |        2
211.76/211.89	c  173s |      11 |    43060 |    21444 |   118616      0 |        0 |        2
214.66/214.77	c  176s |      11 |    43603 |    21744 |   118616      0 |        0 |        2
217.16/217.23	c  178s |      11 |    43924 |    21944 |   118616      0 |        0 |        2
220.25/220.37	c  181s |      11 |    44444 |    22244 |   118616      0 |        0 |        2
223.16/223.24	c  184s |      11 |    44815 |    22444 |   118616      0 |        0 |        2
226.06/226.11	c  187s |      11 |    45293 |    22744 |   118616      0 |        0 |        2
228.16/228.28	c  189s |      11 |    45648 |    22944 |   118616      0 |        0 |        2
230.55/230.60	c  191s |      11 |    46147 |    23244 |   118616      0 |        0 |        2
232.75/232.87	c  194s |      11 |    46638 |    23544 |   118616      0 |        0 |        2
235.66/235.77	c  197s |      11 |    47147 |    23844 |   118616      0 |        0 |        2
238.35/238.43	c  199s |      11 |    47510 |    24044 |   118616      0 |        0 |        2
241.55/241.64	c  202s |      11 |    47853 |    24244 |   118616      0 |        0 |        2
244.95/245.08	c  206s |      11 |    48223 |    24444 |   118616      0 |        0 |        2
247.25/247.40	c  208s |      11 |    48778 |    24744 |   118616      0 |        0 |        2
249.45/249.53	c  210s |      11 |    49061 |    24944 |   118616      0 |        0 |        2
251.75/251.85	c  213s |      11 |    49580 |    25244 |   118616      0 |        0 |        2
254.55/254.69	c  215s |      11 |    49894 |    25444 |   118616      0 |        0 |        2
257.46/257.52	c  218s |      11 |    50249 |    25644 |   118616      0 |        0 |        2
259.45/259.56	c  220s |      12 |    50510 |    25819 |   118616      0 |        0 |        2
261.55/261.61	c  222s |      12 |    51118 |    25919 |   118616      0 |        0 |        2
264.15/264.21	c  225s |      12 |    51648 |    26219 |   118616      0 |        0 |        2
267.35/267.44	c  228s |      12 |    52194 |    26519 |   118616      0 |        0 |        2
269.74/269.85	c  231s |      12 |    52540 |    26719 |   118616      0 |        0 |        2
272.15/272.21	c  233s |      12 |    52859 |    26919 |   118616      0 |        0 |        2
274.44/274.55	c  235s |      12 |    53185 |    27119 |   118616      0 |        0 |        2
276.95/277.08	c  238s |      12 |    53480 |    27319 |   118616      0 |        0 |        2
279.65/279.77	c  241s |      12 |    53806 |    27519 |   118616      0 |        0 |        2
282.75/282.88	c  244s |      12 |    54108 |    27719 |   130478      0 |        0 |        2
285.75/285.84	c  247s |      12 |    54488 |    27919 |   130478      0 |        0 |        2
289.35/289.43	c  250s |      12 |    54837 |    28119 |   130478      0 |        0 |        2
291.84/291.97	c  253s |      12 |    55187 |    28319 |   130478      0 |        0 |        2
294.34/294.43	c  255s |      12 |    55498 |    28519 |   130478      0 |        0 |        2
296.55/296.68	c  257s |      12 |    55789 |    28719 |   130478      0 |        0 |        2
298.94/299.04	c  260s |      12 |    56125 |    28919 |   130478      0 |        0 |        2
301.64/301.70	c  263s |      12 |    56606 |    29219 |   130478      0 |        0 |        2
304.44/304.52	c  265s |      12 |    57137 |    29519 |   130478      0 |        0 |        2
306.44/306.56	c  267s |      12 |    57472 |    29719 |   130478      0 |        0 |        2
308.54/308.61	c  269s |      12 |    57800 |    29919 |   130478      0 |        0 |        2
310.64/310.76	c  272s |      12 |    58079 |    30119 |   130478      0 |        0 |        2
313.64/313.79	c  275s |      12 |    58525 |    30419 |   130478      0 |        0 |        2
316.64/316.72	c  278s |      12 |    58999 |    30719 |   130478      0 |        0 |        2
318.74/318.88	c  280s |      12 |    59327 |    30919 |   130478      0 |        0 |        2
320.84/320.92	c  282s |      12 |    59644 |    31119 |   130478      0 |        0 |        2
322.94/323.00	c  284s |      12 |    60001 |    31319 |   130478      0 |        0 |        2
325.23/325.36	c  286s |      12 |    60340 |    31519 |   130478      0 |        0 |        2
327.94/328.02	c  289s |      12 |    60643 |    31719 |   130478      0 |        0 |        2
330.24/330.31	c  291s |      12 |    60981 |    31919 |   130478      0 |        0 |        2
332.33/332.40	c  293s |      12 |    61306 |    32119 |   130478      0 |        0 |        2
334.54/334.68	c  295s |      12 |    61626 |    32319 |   130478      0 |        0 |        2
336.74/336.89	c  298s |      12 |    61908 |    32519 |   130478      0 |        0 |        2
338.94/339.06	c  300s |      12 |    62215 |    32719 |   130478      0 |        0 |        2
341.33/341.46	c  302s |      12 |    62485 |    32919 |   130478      0 |        0 |        2
343.83/343.93	c  305s |      12 |    62786 |    33119 |   130478      0 |        0 |        2
346.23/346.39	c  307s |      12 |    63098 |    33319 |   130478      0 |        0 |        2
348.63/348.72	c  310s |      12 |    63399 |    33519 |   130478      0 |        0 |        2
351.03/351.18	c  312s |      12 |    63717 |    33719 |   130478      0 |        0 |        2
353.62/353.71	c  315s |      12 |    64211 |    34019 |   130478      0 |        0 |        2
356.53/356.61	c  317s |      12 |    64710 |    34319 |   130478      0 |        0 |        2
359.12/359.24	c  320s |      12 |    65021 |    34519 |   130478      0 |        0 |        2
361.22/361.31	c  322s |      12 |    65355 |    34719 |   130478      0 |        0 |        2
364.13/364.23	c  325s |      12 |    65900 |    35019 |   130478      0 |        0 |        2
366.92/367.07	c  328s |      12 |    66480 |    35319 |   130478      0 |        0 |        2
369.42/369.51	c  330s |      12 |    66807 |    35519 |   130478      0 |        0 |        2
371.42/371.56	c  332s |      12 |    67182 |    35719 |   130478      0 |        0 |        2
373.52/373.63	c  334s |      12 |    67554 |    35919 |   130478      0 |        0 |        2
376.92/377.09	c  338s |      12 |    67854 |    36119 |   130478      0 |        0 |        2
379.62/379.70	c  341s |      12 |    68189 |    36319 |   130478      0 |        0 |        2
382.42/382.58	c  343s |      12 |    68529 |    36519 |   130478      0 |        0 |        2
384.92/385.06	c  346s |      12 |    68829 |    36719 |   130478      0 |        0 |        2
387.41/387.58	c  348s |      12 |    69184 |    36919 |   130478      0 |        0 |        2
390.81/390.91	c  352s |      12 |    69494 |    37119 |   130478      0 |        0 |        2
393.62/393.73	c  355s |      12 |    70028 |    37419 |   130478      0 |        0 |        2
396.11/396.28	c  357s |      12 |    70585 |    37719 |   130478      0 |        0 |        2
398.21/398.31	c  359s |      12 |    71032 |    38019 |   130478      0 |        0 |        2
400.42/400.56	c  361s |      12 |    71550 |    38319 |   130478      0 |        0 |        2
403.20/403.37	c  364s |      12 |    72055 |    38619 |   130478      0 |        0 |        2
405.21/405.35	c  366s |      13 |    72419 |    38832 |   130478      0 |        0 |        2
407.60/407.79	c  369s |      13 |    73006 |    38932 |   130478      0 |        0 |        2
410.10/410.23	c  371s |      13 |    73421 |    39132 |   130478      0 |        0 |        2
413.00/413.13	c  374s |      13 |    73931 |    39432 |   130478      0 |        0 |        2
415.81/415.92	c  377s |      13 |    74383 |    39732 |   130478      0 |        0 |        2
417.91/418.08	c  379s |      13 |    74702 |    39932 |   130478      0 |        0 |        2
420.39/420.52	c  381s |      13 |    75209 |    40232 |   130478      0 |        0 |        2
422.40/422.58	c  383s |      13 |    75603 |    40432 |   130478      0 |        0 |        2
424.61/424.78	c  386s |      13 |    75957 |    40632 |   130478      0 |        0 |        2
426.70/426.83	c  388s |      13 |    76277 |    40832 |   130478      0 |        0 |        2
429.69/429.83	c  391s |      13 |    76622 |    41032 |   130478      0 |        0 |        2
431.69/431.83	c  393s |      13 |    77012 |    41232 |   130478      0 |        0 |        2
433.89/434.00	c  395s |      13 |    77441 |    41532 |   130478      0 |        0 |        2
435.99/436.16	c  397s |      13 |    77888 |    41832 |   130478      0 |        0 |        2
438.39/438.51	c  399s |      13 |    78386 |    42132 |   130478      0 |        0 |        2
440.89/441.01	c  402s |      13 |    78880 |    42432 |   130478      0 |        0 |        2
443.59/443.70	c  405s |      13 |    79319 |    42732 |   130478      0 |        0 |        2
446.39/446.51	c  407s |      13 |    79833 |    43032 |   130478      0 |        0 |        2
448.98/449.18	c  410s |      13 |    80319 |    43332 |   130478      0 |        0 |        2
451.78/451.96	c  413s |      13 |    80881 |    43632 |   130478      0 |        0 |        2
454.88/455.03	c  416s |      13 |    81321 |    43932 |   130478      0 |        0 |        2
456.98/457.17	c  418s |      13 |    81664 |    44132 |   130478      0 |        0 |        2
459.48/459.62	c  420s |      13 |    82191 |    44432 |   130478      0 |        0 |        2
462.08/462.28	c  423s |      13 |    82685 |    44732 |   130478      0 |        0 |        2
465.18/465.36	c  426s |      13 |    83161 |    45032 |   130478      0 |        0 |        2
467.87/468.01	c  429s |      13 |    83761 |    45332 |   130478      0 |        0 |        2
469.86/470.07	c  431s |      13 |    84101 |    45532 |   130478      0 |        0 |        2
472.87/473.00	c  434s |      13 |    84560 |    45832 |   130478      0 |        0 |        2
475.57/475.76	c  437s |      13 |    85042 |    46132 |   130478      0 |        0 |        2
478.26/478.43	c  439s |      13 |    85555 |    46432 |   130478      0 |        0 |        2
479.76/479.95	c  441s |      13 |    85765 |    46582 |   130478      0 |        0 |        2
479.76/479.95	c #cpu_time = 441.203s
479.76/479.95	c #wall_clock_time = 441.247s
479.76/479.95	c #decision = 85765
479.76/479.95	c #random_decision = 60
479.76/479.95	c #conflict = 46582
479.76/479.95	c #restart = 13
479.76/479.95	c BCD2: relaxing 435 and merging with 1 cores into a new core of size 500: cost of the new core is >=2
479.76/479.95	c lower bound updated to 2
479.76/479.95	c BCD2: 2 <= obj <= 20
479.76/479.95	c BCD2: #cores=1, #unrelaxed=0, #relaxed=500, #hardened=0
479.76/479.95	c BCD2: #sat=3 #unsat=3 bias=3/6
479.76/479.95	c Solving starts ...
479.76/479.95	c ============================[ Search Statistics ]============================
479.76/479.95	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
479.76/479.95	c       |         |          |          |    Limit     GC | Var      | Constra 
479.76/479.95	c =============================================================================
479.76/479.95	c  0.0s |       0 |        0 |        0 |   130478      0 |        3 |        2
489.96/490.20	c 10.2s |       0 |     1260 |      100 |   130478      0 |        3 |        7
490.05/490.21	c 10.3s |       1 |     1260 |      100 |   130478      0 |        3 |        7
493.76/493.97	c 14.0s |       1 |     3168 |      200 |   130478      0 |        3 |        7
495.45/495.63	c 15.7s |       2 |     3264 |      250 |   130478      0 |        3 |        7
499.65/499.88	c 19.9s |       2 |     5964 |      350 |   130478      0 |        3 |        7
504.44/504.65	c 24.7s |       2 |     6461 |      450 |   130478      0 |        3 |        7
505.14/505.37	c 25.4s |       3 |     7153 |      475 |   130478      0 |        3 |        7
508.74/508.90	c 28.9s |       3 |     8962 |      575 |   143526      0 |        3 |        7
511.74/511.95	c 32.0s |       3 |     9369 |      675 |   143526      0 |        3 |        7
514.64/514.84	c 34.9s |       3 |     9714 |      775 |   143526      0 |        3 |        7
516.24/516.41	c 36.5s |       4 |     9861 |      813 |   143526      0 |        3 |        7
519.63/519.84	c 39.9s |       4 |    10577 |      913 |   143526      0 |        3 |        7
524.03/524.24	c 44.3s |       4 |    10856 |     1013 |   143526      0 |        3 |        7
527.73/527.98	c 48.0s |       4 |    11259 |     1113 |   143526      0 |        3 |        7
530.83/531.06	c 51.1s |       4 |    12660 |     1213 |   143526      0 |        3 |        7
534.23/534.47	c 54.5s |       4 |    13131 |     1313 |   143526      0 |        3 |        7
534.43/534.67	c 54.7s |       5 |    13238 |     1320 |   143526      0 |        3 |        7
537.83/538.08	c 58.1s |       5 |    14160 |     1420 |   143526      0 |        3 |        7
540.42/540.62	c 60.7s |       5 |    14377 |     1520 |   143526      0 |        3 |        7
543.24/543.48	c 63.5s |       5 |    14754 |     1620 |   143526      0 |        3 |        7
546.43/546.69	c 66.7s |       5 |    15075 |     1720 |   143526      0 |        3 |        7
549.73/549.91	c 70.0s |       5 |    15553 |     1820 |   143526      0 |        3 |        7
552.23/552.46	c 72.5s |       5 |    15859 |     1920 |   143526      0 |        3 |        7
555.53/555.70	c 75.7s |       5 |    16100 |     2020 |   143526      0 |        3 |        7
557.72/557.93	c 78.0s |       6 |    16235 |     2081 |   143526      0 |        3 |        7
561.72/561.96	c 82.0s |       6 |    16790 |     2181 |   143526      0 |        3 |        7
564.23/564.49	c 84.5s |       6 |    17001 |     2281 |   143526      0 |        3 |        7
567.72/567.99	c 88.0s |       6 |    17767 |     2381 |   143526      0 |        3 |        7
573.21/573.44	c 93.5s |       6 |    18336 |     2481 |   143526      0 |        3 |        7
576.11/576.39	c 96.4s |       6 |    18708 |     2581 |   143526      0 |        3 |        7
578.91/579.18	c 99.2s |       6 |    18907 |     2681 |   143526      0 |        3 |        7
582.41/582.61	c  102s |       6 |    19149 |     2781 |   143526      0 |        3 |        7
585.91/586.19	c  106s |       6 |    19790 |     2881 |   143526      0 |        3 |        7
588.21/588.42	c  108s |       6 |    20548 |     2981 |   143526      0 |        3 |        7
590.31/590.52	c  110s |       6 |    20735 |     3081 |   143526      0 |        3 |        7
592.72/592.96	c  113s |       6 |    21010 |     3181 |   143526      0 |        3 |        7
593.82/594.10	c  114s |       7 |    21081 |     3223 |   143526      0 |        3 |        7
597.80/598.03	c  118s |       7 |    22995 |     3323 |   143526      0 |        3 |        7
601.70/601.91	c  121s |       7 |    23622 |     3423 |   143526      0 |        3 |        7
605.50/605.73	c  125s |       7 |    24407 |     3523 |   143526      0 |        3 |        7
609.00/609.25	c  129s |       7 |    25062 |     3623 |   143526      0 |        3 |        7
612.61/612.86	c  132s |       7 |    25283 |     3723 |   143526      0 |        3 |        7
616.40/616.63	c  136s |       7 |    25656 |     3823 |   143526      0 |        3 |        7
620.60/620.87	c  140s |       7 |    26335 |     3923 |   143526      0 |        3 |        7
623.60/623.86	c  143s |       7 |    27023 |     4023 |   143526      0 |        3 |        7
627.69/627.90	c  147s |       7 |    27351 |     4123 |   143526      0 |        3 |        7
631.20/631.43	c  151s |       7 |    27609 |     4223 |   143526      0 |        3 |        7
634.39/634.60	c  154s |       7 |    28514 |     4323 |   143526      0 |        3 |        7
637.39/637.61	c  157s |       7 |    28925 |     4423 |   143526      0 |        3 |        7
640.99/641.26	c  161s |       7 |    29459 |     4523 |   143526      0 |        3 |        7
644.39/644.61	c  164s |       7 |    30520 |     4623 |   143526      0 |        3 |        7
647.38/647.68	c  167s |       7 |    30889 |     4723 |   143526      0 |        3 |        7
650.58/650.83	c  170s |       7 |    31850 |     4823 |   143526      0 |        3 |        7
653.98/654.29	c  174s |       7 |    32692 |     4923 |   143526      0 |        3 |        7
654.48/654.79	c  174s |       8 |    33896 |     4936 |   143526      0 |        3 |        7
657.69/657.95	c  177s |       8 |    34770 |     5036 |   143526      0 |        3 |        7
661.38/661.68	c  181s |       8 |    35369 |     5136 |   143526      0 |        3 |        7
664.48/664.74	c  184s |       8 |    36257 |     5236 |   143526      0 |        3 |        7
667.48/667.75	c  187s |       8 |    36413 |     5336 |   143526      0 |        3 |        7
670.78/671.07	c  191s |       8 |    37109 |     5436 |   143526      0 |        3 |        7
673.88/674.19	c  194s |       8 |    37292 |     5536 |   143526      0 |        3 |        7
676.98/677.27	c  197s |       8 |    37823 |     5636 |   143526      0 |        3 |        7
680.07/680.39	c  200s |       8 |    38263 |     5736 |   143526      0 |        3 |        7
683.67/683.93	c  203s |       8 |    38892 |     5836 |   143526      0 |        3 |        7
687.07/687.33	c  207s |       8 |    39155 |     5936 |   143526      0 |        3 |        7
689.97/690.27	c  210s |       8 |    39483 |     6036 |   143526      0 |        3 |        7
692.88/693.13	c  213s |       8 |    39939 |     6136 |   143526      0 |        3 |        7
697.07/697.35	c  217s |       8 |    40371 |     6236 |   143526      0 |        3 |        7
699.97/700.23	c  220s |       8 |    41440 |     6336 |   143526      0 |        3 |        7
702.78/703.05	c  223s |       8 |    41609 |     6436 |   143526      0 |        3 |        7
705.27/705.55	c  225s |       8 |    41854 |     6536 |   143526      0 |        3 |        7
708.37/708.65	c  228s |       8 |    42323 |     6636 |   143526      0 |        3 |        7
711.47/711.72	c  231s |       8 |    42603 |     6736 |   143526      0 |        3 |        7
714.57/714.85	c  234s |       8 |    42886 |     6836 |   143526      0 |        3 |        7
717.87/718.12	c  238s |       8 |    43057 |     6936 |   143526      0 |        3 |        7
720.17/720.44	c  240s |       8 |    43930 |     7036 |   143526      0 |        3 |        7
722.47/722.71	c  242s |       8 |    44168 |     7136 |   143526      0 |        3 |        7
725.07/725.30	c  245s |       8 |    44480 |     7236 |   143526      0 |        3 |        7
727.76/728.03	c  248s |       8 |    44634 |     7336 |   143526      0 |        3 |        7
730.86/731.17	c  251s |       8 |    44814 |     7436 |   143526      0 |        3 |        7
733.36/733.68	c  253s |       9 |    44920 |     7506 |   143526      0 |        3 |        7
736.87/737.17	c  257s |       9 |    45555 |     7606 |   143526      0 |        3 |        7
740.17/740.49	c  260s |       9 |    45709 |     7706 |   143526      0 |        3 |        7
744.16/744.48	c  264s |       9 |    45914 |     7806 |   143526      0 |        3 |        7
747.36/747.67	c  267s |       9 |    46814 |     7906 |   143526      0 |        3 |        7
751.18/751.42	c  271s |       9 |    47131 |     8006 |   143526      0 |        3 |        7
754.57/754.83	c  274s |       9 |    47328 |     8106 |   143526      0 |        3 |        7
757.37/757.60	c  277s |       9 |    47538 |     8206 |   143526      0 |        3 |        7
760.37/760.65	c  280s |       9 |    49278 |     8306 |   143526      0 |        3 |        7
763.17/763.41	c  283s |       9 |    50230 |     8406 |   143526      0 |        3 |        7
766.77/767.05	c  287s |       9 |    50613 |     8506 |   143526      0 |        3 |        7
769.77/770.02	c  290s |       9 |    50880 |     8606 |   143526      0 |        3 |        7
773.36/773.66	c  293s |       9 |    51063 |     8706 |   143526      0 |        3 |        7
776.37/776.65	c  296s |       9 |    51247 |     8806 |   143526      0 |        3 |        7
779.56/779.90	c  299s |       9 |    51775 |     8906 |   143526      0 |        3 |        7
782.97/783.22	c  303s |       9 |    52056 |     9006 |   143526      0 |        3 |        7
786.06/786.34	c  306s |       9 |    52312 |     9106 |   143526      0 |        3 |        7
789.26/789.54	c  309s |       9 |    52661 |     9206 |   143526      0 |        3 |        7
792.46/792.71	c  312s |       9 |    52818 |     9306 |   143526      0 |        3 |        7
795.86/796.19	c  316s |       9 |    53816 |     9406 |   143526      0 |        3 |        7
799.57/799.86	c  319s |       9 |    54146 |     9506 |   143526      0 |        3 |        7
803.36/803.67	c  323s |       9 |    54411 |     9606 |   143526      0 |        3 |        7
806.76/807.04	c  327s |       9 |    56562 |     9706 |   143526      0 |        3 |        7
808.96/809.25	c  329s |       9 |    57219 |     9806 |   143526      0 |        3 |        7
811.96/812.23	c  332s |       9 |    57577 |     9906 |   143526      0 |        3 |        7
815.06/815.30	c  335s |       9 |    57889 |    10006 |   143526      0 |        3 |        7
818.66/818.90	c  338s |       9 |    58626 |    10106 |   143526      0 |        3 |        7
821.26/821.56	c  341s |       9 |    59119 |    10206 |   143526      0 |        3 |        7
824.66/824.95	c  344s |       9 |    59354 |    10306 |   143526      0 |        3 |        7
828.06/828.35	c  348s |       9 |    59501 |    10406 |   143526      0 |        3 |        7
831.15/831.44	c  351s |       9 |    60742 |    10506 |   143526      0 |        3 |        7
833.95/834.25	c  354s |       9 |    60960 |    10606 |   143526      0 |        3 |        7
837.15/837.46	c  357s |       9 |    61345 |    10706 |   143526      0 |        3 |        7
840.05/840.36	c  360s |       9 |    61572 |    10806 |   143526      0 |        3 |        7
843.25/843.52	c  363s |       9 |    61810 |    10906 |   143526      0 |        3 |        7
846.55/846.85	c  366s |       9 |    62292 |    11006 |   143526      0 |        3 |        7
849.45/849.73	c  369s |       9 |    62536 |    11106 |   143526      0 |        3 |        7
852.55/852.86	c  372s |       9 |    62878 |    11206 |   143526      0 |        3 |        7
856.15/856.48	c  376s |       9 |    63301 |    11306 |   143526      0 |        3 |        7
858.05/858.35	c  378s |      10 |    63375 |    11361 |   143526      0 |        3 |        7
860.85/861.10	c  381s |      10 |    64359 |    11461 |   143526      0 |        3 |        7
864.55/864.82	c  384s |      10 |    64522 |    11561 |   143526      0 |        3 |        7
867.85/868.13	c  388s |      10 |    65063 |    11661 |   143526      0 |        3 |        7
870.65/870.93	c  390s |      10 |    65603 |    11761 |   143526      0 |        3 |        7
873.75/874.06	c  394s |      10 |    65830 |    11861 |   143526      0 |        3 |        7
876.95/877.20	c  397s |      10 |    66783 |    11961 |   143526      0 |        3 |        7
880.35/880.68	c  400s |      10 |    67612 |    12061 |   143526      0 |        3 |        7
883.75/884.08	c  404s |      10 |    68616 |    12161 |   143526      0 |        3 |        7
886.75/887.07	c  407s |      10 |    68856 |    12261 |   143526      0 |        3 |        7
889.65/889.95	c  409s |      10 |    69293 |    12361 |   143526      0 |        3 |        7
892.54/892.81	c  412s |      10 |    69668 |    12461 |   143526      0 |        3 |        7
895.74/896.07	c  416s |      10 |    70345 |    12561 |   143526      0 |        3 |        7
899.24/899.52	c  419s |      10 |    71138 |    12661 |   143526      0 |        3 |        7
902.44/902.78	c  422s |      10 |    71724 |    12761 |   143526      0 |        3 |        7
905.24/905.54	c  425s |      10 |    72070 |    12861 |   143526      0 |        3 |        7
908.14/908.44	c  428s |      10 |    72467 |    12961 |   143526      0 |        3 |        7
911.04/911.39	c  431s |      10 |    73553 |    13061 |   143526      0 |        3 |        7
914.74/915.00	c  435s |      10 |    73766 |    13161 |   143526      0 |        3 |        7
918.04/918.31	c  438s |      10 |    74003 |    13261 |   143526      0 |        3 |        7
921.14/921.43	c  441s |      10 |    74683 |    13361 |   143526      0 |        3 |        7
924.64/924.94	c  444s |      10 |    75536 |    13461 |   143526      0 |        3 |        7
927.94/928.25	c  448s |      10 |    76194 |    13561 |   143526      0 |        3 |        7
931.45/931.77	c  451s |      10 |    76676 |    13661 |   143526      0 |        3 |        7
934.64/934.93	c  454s |      10 |    77176 |    13761 |   143526      0 |        3 |        7
937.64/937.96	c  458s |      10 |    77824 |    13861 |   143526      0 |        3 |        7
940.94/941.22	c  461s |      10 |    78179 |    13961 |   143526      0 |        3 |        7
944.44/944.77	c  464s |      10 |    79432 |    14061 |   143526      0 |        3 |        7
947.94/948.22	c  468s |      10 |    79999 |    14161 |   143526      0 |        3 |        7
951.44/951.79	c  471s |      10 |    80423 |    14261 |   143526      0 |        3 |        7
954.54/954.87	c  474s |      10 |    81637 |    14361 |   143526      0 |        3 |        7
958.03/958.33	c  478s |      10 |    82197 |    14461 |   143526      0 |        3 |        7
961.24/961.55	c  481s |      10 |    82536 |    14561 |   143526      0 |        3 |        7
964.63/964.98	c  485s |      10 |    83008 |    14661 |   143526      0 |        3 |        7
967.84/968.13	c  488s |      10 |    83389 |    14761 |   143526      0 |        3 |        7
971.14/971.46	c  491s |      10 |    84242 |    14861 |   143526      0 |        3 |        7
974.63/974.96	c  495s |      10 |    84457 |    14961 |   143526      0 |        3 |        7
977.74/978.02	c  498s |      10 |    85056 |    15061 |   143526      0 |        3 |        7
980.94/981.22	c  501s |      10 |    85353 |    15161 |   143526      0 |        3 |        7
984.03/984.32	c  504s |      10 |    86028 |    15261 |   143526      0 |        3 |        7
987.64/987.97	c  508s |      10 |    86264 |    15361 |   143526      0 |        3 |        7
990.73/991.02	c  511s |      10 |    87599 |    15461 |   143526      0 |        3 |        7
993.43/993.78	c  513s |      10 |    87901 |    15561 |   143526      0 |        3 |        7
996.33/996.68	c  516s |      10 |    88077 |    15661 |   143526      0 |        3 |        7
999.73/1000.03	c  520s |      10 |    88508 |    15761 |   143526      0 |        3 |        7
1002.72/1003.04	c  523s |      10 |    88679 |    15861 |   143526      0 |        3 |        7
1005.92/1006.26	c  526s |      10 |    89096 |    15961 |   143526      0 |        3 |        7
1008.82/1009.12	c  529s |      10 |    89582 |    16061 |   143526      0 |        3 |        7
1011.42/1011.77	c  531s |      10 |    89811 |    16161 |   143526      0 |        3 |        7
1014.72/1015.08	c  535s |      10 |    91337 |    16261 |   143526      0 |        3 |        7
1017.92/1018.21	c  538s |      10 |    91868 |    16361 |   143526      0 |        3 |        7
1021.32/1021.63	c  541s |      10 |    92598 |    16461 |   143526      0 |        3 |        7
1024.42/1024.77	c  544s |      10 |    93883 |    16561 |   143526      0 |        3 |        7
1027.42/1027.79	c  547s |      10 |    95004 |    16661 |   143526      0 |        3 |        7
1031.02/1031.34	c  551s |      10 |    95911 |    16761 |   143526      0 |        3 |        7
1034.32/1034.67	c  554s |      10 |    96565 |    16861 |   143526      0 |        3 |        7
1037.52/1037.83	c  557s |      10 |    96730 |    16961 |   143526      0 |        3 |        7
1041.32/1041.61	c  561s |      10 |    97225 |    17061 |   143526      0 |        3 |        7
1044.52/1044.84	c  564s |      11 |    97357 |    17144 |   143526      0 |        3 |        7
1048.52/1048.80	c  568s |      11 |    98092 |    17244 |   143526      0 |        3 |        7
1051.42/1051.79	c  571s |      11 |    98289 |    17344 |   143526      0 |        3 |        7
1054.92/1055.28	c  575s |      11 |    98925 |    17444 |   143526      0 |        3 |        7
1058.12/1058.43	c  578s |      11 |    99962 |    17544 |   143526      0 |        3 |        7
1061.32/1061.68	c  581s |      11 |   100334 |    17644 |   143526      0 |        3 |        7
1064.31/1064.62	c  584s |      11 |   100632 |    17744 |   143526      0 |        3 |        7
1067.61/1067.94	c  587s |      11 |   101275 |    17844 |   143526      0 |        3 |        7
1070.81/1071.12	c  591s |      11 |   101668 |    17944 |   143526      0 |        3 |        7
1074.52/1074.82	c  594s |      11 |   102367 |    18044 |   143526      0 |        3 |        7
1077.91/1078.26	c  598s |      11 |   102774 |    18144 |   143526      0 |        3 |        7
1081.61/1081.95	c  602s |      11 |   103149 |    18244 |   143526      0 |        3 |        7
1085.21/1085.58	c  605s |      11 |   103429 |    18344 |   143526      0 |        3 |        7
1088.91/1089.24	c  609s |      11 |   103634 |    18444 |   143526      0 |        3 |        7
1092.71/1093.07	c  613s |      11 |   104760 |    18544 |   143526      0 |        3 |        7
1096.42/1096.74	c  616s |      11 |   104983 |    18644 |   143526      0 |        3 |        7
1099.51/1099.84	c  619s |      11 |   105544 |    18744 |   143526      0 |        3 |        7
1102.31/1102.63	c  622s |      11 |   106872 |    18844 |   143526      0 |        3 |        7
1104.81/1105.14	c  625s |      11 |   107818 |    18944 |   143526      0 |        3 |        7
1107.91/1108.24	c  628s |      11 |   108593 |    19044 |   143526      0 |        3 |        7
1110.71/1111.09	c  631s |      11 |   108938 |    19144 |   143526      0 |        3 |        7
1113.51/1113.82	c  633s |      11 |   109303 |    19244 |   143526      0 |        3 |        7
1116.21/1116.54	c  636s |      11 |   109530 |    19344 |   143526      0 |        3 |        7
1118.81/1119.15	c  639s |      11 |   109878 |    19444 |   143526      0 |        3 |        7
1121.01/1121.36	c  641s |      11 |   110457 |    19544 |   143526      0 |        3 |        7
1124.20/1124.58	c  644s |      11 |   110787 |    19644 |   143526      0 |        3 |        7
1127.60/1127.94	c  647s |      11 |   111399 |    19744 |   143526      0 |        3 |        7
1130.80/1131.17	c  651s |      11 |   112434 |    19844 |   143526      0 |        3 |        7
1133.00/1133.38	c  653s |      11 |   112764 |    19944 |   143526      0 |        3 |        7
1135.90/1136.28	c  656s |      11 |   112935 |    20044 |   143526      0 |        3 |        7
1139.31/1139.63	c  659s |      11 |   113191 |    20144 |   143526      0 |        3 |        7
1142.50/1142.83	c  662s |      11 |   113406 |    20244 |   143526      0 |        3 |        7
1145.91/1146.26	c  666s |      11 |   113542 |    20344 |   143526      0 |        3 |        7
1149.80/1150.13	c  670s |      11 |   113737 |    20444 |   143526      0 |        3 |        7
1152.90/1153.25	c  673s |      11 |   114733 |    20544 |   143526      0 |        3 |        7
1155.81/1156.19	c  676s |      11 |   115035 |    20644 |   143526      0 |        3 |        7
1159.00/1159.31	c  679s |      11 |   115270 |    20744 |   143526      0 |        3 |        7
1162.00/1162.35	c  682s |      11 |   115570 |    20844 |   143526      0 |        3 |        7
1165.30/1165.65	c  685s |      11 |   116409 |    20944 |   143526      0 |        3 |        7
1168.40/1168.76	c  688s |      11 |   116619 |    21044 |   143526      0 |        3 |        7
1171.90/1172.28	c  692s |      11 |   117845 |    21144 |   143526      0 |        3 |        7
1175.60/1175.95	c  695s |      11 |   118369 |    21244 |   143526      0 |        3 |        7
1178.70/1179.06	c  699s |      11 |   118859 |    21344 |   143526      0 |        3 |        7
1181.79/1182.14	c  702s |      11 |   119079 |    21444 |   143526      0 |        3 |        7
1184.99/1185.35	c  705s |      11 |   119903 |    21544 |   143526      0 |        3 |        7
1187.70/1188.06	c  708s |      11 |   120631 |    21644 |   143526      0 |        3 |        7
1190.79/1191.15	c  711s |      11 |   120787 |    21744 |   143526      0 |        3 |        7
1194.20/1194.55	c  714s |      11 |   121469 |    21844 |   143526      0 |        3 |        7
1197.00/1197.34	c  717s |      11 |   122275 |    21944 |   143526      0 |        3 |        7
1200.10/1200.47	c  720s |      11 |   122672 |    22044 |   143526      0 |        3 |        7
1203.50/1203.80	c  723s |      11 |   123164 |    22144 |   143526      0 |        3 |        7
1206.70/1207.07	c  727s |      11 |   123635 |    22244 |   143526      0 |        3 |        7
1210.50/1210.89	c  730s |      11 |   123985 |    22344 |   143526      0 |        3 |        7
1214.11/1214.49	c  734s |      11 |   124770 |    22444 |   143526      0 |        3 |        7
1217.41/1217.75	c  737s |      11 |   125394 |    22544 |   143526      0 |        3 |        7
1220.60/1220.94	c  740s |      11 |   125772 |    22644 |   143526      0 |        3 |        7
1223.70/1224.07	c  744s |      11 |   126020 |    22744 |   143526      0 |        3 |        7
1226.60/1226.92	c  746s |      11 |   126711 |    22844 |   143526      0 |        3 |        7
1230.00/1230.31	c  750s |      11 |   127167 |    22944 |   143526      0 |        3 |        7
1233.50/1233.80	c  753s |      11 |   127568 |    23044 |   143526      0 |        3 |        7
1236.80/1237.14	c  757s |      11 |   128601 |    23144 |   143526      0 |        3 |        7
1240.09/1240.48	c  760s |      11 |   129607 |    23244 |   143526      0 |        3 |        7
1242.89/1243.24	c  763s |      11 |   130036 |    23344 |   143526      0 |        3 |        7
1245.79/1246.10	c  766s |      11 |   130266 |    23444 |   143526      0 |        3 |        7
1248.89/1249.26	c  769s |      11 |   131002 |    23544 |   143526      0 |        3 |        7
1251.89/1252.27	c  772s |      11 |   131846 |    23644 |   143526      0 |        3 |        7
1254.59/1254.96	c  775s |      11 |   132379 |    23744 |   143526      0 |        3 |        7
1257.59/1257.92	c  777s |      11 |   132871 |    23844 |   143526      0 |        3 |        7
1261.09/1261.40	c  781s |      11 |   133757 |    23944 |   143526      0 |        3 |        7
1264.29/1264.61	c  784s |      11 |   133906 |    24044 |   143526      0 |        3 |        7
1267.29/1267.62	c  787s |      11 |   134395 |    24144 |   143526      0 |        3 |        7
1270.49/1270.83	c  790s |      11 |   134536 |    24244 |   143526      0 |        3 |        7
1273.89/1274.20	c  794s |      11 |   135173 |    24344 |   143526      0 |        3 |        7
1277.19/1277.50	c  797s |      11 |   135856 |    24444 |   143526      0 |        3 |        7
1280.09/1280.43	c  800s |      11 |   136277 |    24544 |   143526      0 |        3 |        7
1282.59/1282.90	c  802s |      11 |   137342 |    24644 |   143526      0 |        3 |        7
1284.79/1285.13	c  805s |      11 |   137758 |    24744 |   143526      0 |        3 |        7
1287.49/1287.81	c  807s |      11 |   138266 |    24844 |   143526      0 |        3 |        7
1290.09/1290.47	c  810s |      11 |   139058 |    24944 |   143526      0 |        3 |        7
1292.69/1293.02	c  813s |      11 |   139333 |    25044 |   143526      0 |        3 |        7
1295.29/1295.64	c  815s |      11 |   139605 |    25144 |   143526      0 |        3 |        7
1298.09/1298.48	c  818s |      11 |   140036 |    25244 |   143526      0 |        3 |        7
1300.68/1301.01	c  821s |      11 |   140445 |    25344 |   143526      0 |        3 |        7
1303.19/1303.56	c  823s |      11 |   140834 |    25444 |   143526      0 |        3 |        7
1305.68/1306.04	c  826s |      11 |   141371 |    25544 |   143526      0 |        3 |        7
1308.28/1308.62	c  828s |      11 |   141675 |    25644 |   143526      0 |        3 |        7
1310.89/1311.29	c  831s |      11 |   142001 |    25744 |   143526      0 |        3 |        7
1312.98/1313.38	c  833s |      12 |   142545 |    25819 |   143526      0 |        3 |        7
1317.08/1317.42	c  837s |      12 |   143753 |    25919 |   143526      0 |        3 |        7
1320.48/1320.83	c  840s |      12 |   144621 |    26019 |   143526      0 |        3 |        7
1323.48/1323.80	c  843s |      12 |   145198 |    26119 |   143526      0 |        3 |        7
1326.08/1326.47	c  846s |      12 |   145522 |    26219 |   143526      0 |        3 |        7
1328.98/1329.35	c  849s |      12 |   145810 |    26319 |   143526      0 |        3 |        7
1331.48/1331.84	c  851s |      12 |   146109 |    26419 |   143526      0 |        3 |        7
1334.68/1335.00	c  855s |      12 |   146387 |    26519 |   143526      0 |        3 |        7
1338.18/1338.58	c  858s |      12 |   146764 |    26619 |   143526      0 |        3 |        7
1341.38/1341.78	c  861s |      12 |   146992 |    26719 |   143526      0 |        3 |        7
1344.58/1344.94	c  864s |      12 |   148003 |    26819 |   143526      0 |        3 |        7
1346.87/1347.23	c  867s |      12 |   148219 |    26919 |   143526      0 |        3 |        7
1349.27/1349.62	c  869s |      12 |   148404 |    27019 |   143526      0 |        3 |        7
1351.87/1352.23	c  872s |      12 |   148681 |    27119 |   143526      0 |        3 |        7
1353.97/1354.36	c  874s |      12 |   149247 |    27219 |   143526      0 |        3 |        7
1356.37/1356.76	c  876s |      12 |   149456 |    27319 |   143526      0 |        3 |        7
1358.97/1359.32	c  879s |      12 |   149705 |    27419 |   143526      0 |        3 |        7
1362.17/1362.59	c  882s |      12 |   150161 |    27519 |   143526      0 |        3 |        7
1365.47/1365.89	c  885s |      12 |   151742 |    27619 |   143526      0 |        3 |        7
1368.27/1368.66	c  888s |      12 |   152431 |    27719 |   143526      0 |        3 |        7
1371.07/1371.45	c  891s |      12 |   152693 |    27819 |   143526      0 |        3 |        7
1374.47/1374.83	c  894s |      12 |   152945 |    27919 |   143526      0 |        3 |        7
1377.98/1378.37	c  898s |      12 |   153267 |    28019 |   143526      0 |        3 |        7
1380.87/1381.29	c  901s |      12 |   153871 |    28119 |   143526      0 |        3 |        7
1383.37/1383.76	c  903s |      12 |   154484 |    28219 |   143526      0 |        3 |        7
1387.47/1387.87	c  907s |      12 |   155391 |    28419 |   143526      0 |        3 |        7
1390.27/1390.63	c  910s |      12 |   156030 |    28519 |   143526      0 |        3 |        7
1392.37/1392.77	c  912s |      12 |   156322 |    28619 |   143526      0 |        3 |        7
1395.17/1395.58	c  915s |      12 |   156649 |    28719 |   143526      0 |        3 |        7
1398.06/1398.47	c  918s |      12 |   157183 |    28819 |   143526      0 |        3 |        7
1401.36/1401.74	c  921s |      12 |   157622 |    28919 |   143526      0 |        3 |        7
1404.26/1404.65	c  924s |      12 |   158200 |    29019 |   143526      0 |        3 |        7
1407.16/1407.50	c  927s |      12 |   158802 |    29119 |   143526      0 |        3 |        7
1409.76/1410.18	c  930s |      12 |   159081 |    29219 |   143526      0 |        3 |        7
1412.76/1413.13	c  933s |      12 |   159857 |    29319 |   143526      0 |        3 |        7
1415.56/1415.97	c  936s |      12 |   160225 |    29419 |   143526      0 |        3 |        7
1418.67/1419.04	c  939s |      12 |   160703 |    29519 |   143526      0 |        3 |        7
1421.46/1421.86	c  941s |      12 |   161493 |    29619 |   157879      0 |        3 |        7
1424.36/1424.73	c  944s |      12 |   161639 |    29719 |   157879      0 |        3 |        7
1426.96/1427.34	c  947s |      12 |   162011 |    29819 |   157879      0 |        3 |        7
1430.06/1430.46	c  950s |      12 |   162682 |    29919 |   157879      0 |        3 |        7
1433.16/1433.53	c  953s |      12 |   163140 |    30019 |   157879      0 |        3 |        7
1436.16/1436.56	c  956s |      12 |   163459 |    30119 |   157879      0 |        3 |        7
1438.76/1439.13	c  959s |      12 |   163828 |    30219 |   157879      0 |        3 |        7
1441.87/1442.24	c  962s |      12 |   164074 |    30319 |   157879      0 |        3 |        7
1444.76/1445.16	c  965s |      12 |   164673 |    30419 |   157879      0 |        3 |        7
1447.66/1448.02	c  968s |      12 |   165272 |    30519 |   157879      0 |        3 |        7
1451.06/1451.42	c  971s |      12 |   165674 |    30619 |   157879      0 |        3 |        7
1453.76/1454.16	c  974s |      12 |   166006 |    30719 |   157879      0 |        3 |        7
1457.06/1457.43	c  977s |      12 |   166264 |    30819 |   157879      0 |        3 |        7
1460.56/1460.97	c  981s |      12 |   166516 |    30919 |   157879      0 |        3 |        7
1463.25/1463.67	c  983s |      12 |   167297 |    31019 |   157879      0 |        3 |        7
1467.75/1468.18	c  988s |      12 |   168090 |    31219 |   157879      0 |        3 |        7
1470.46/1470.84	c  990s |      12 |   168685 |    31319 |   157879      0 |        3 |        7
1473.15/1473.56	c  993s |      12 |   169203 |    31419 |   157879      0 |        3 |        7
1476.05/1476.40	c  996s |      12 |   169798 |    31519 |   157879      0 |        3 |        7
1478.95/1479.31	c  999s |      12 |   170079 |    31619 |   157879      0 |        3 |        7
1481.55/1481.96	c 1002s |      12 |   170669 |    31719 |   157879      0 |        3 |        7
1484.25/1484.66	c 1004s |      12 |   172373 |    31819 |   157879      0 |        3 |        7
1487.45/1487.88	c 1007s |      12 |   173789 |    31919 |   157879      0 |        3 |        7
1490.45/1490.82	c 1010s |      12 |   174656 |    32019 |   157879      0 |        3 |        7
1493.05/1493.47	c 1013s |      12 |   175371 |    32119 |   157879      0 |        3 |        7
1495.66/1496.08	c 1016s |      12 |   175961 |    32219 |   157879      0 |        3 |        7
1498.25/1498.61	c 1018s |      12 |   176201 |    32319 |   157879      0 |        3 |        7
1500.75/1501.20	c 1021s |      12 |   176384 |    32419 |   157879      0 |        3 |        7
1503.55/1503.91	c 1023s |      12 |   176858 |    32519 |   157879      0 |        3 |        7
1505.75/1506.19	c 1026s |      12 |   177295 |    32619 |   157879      0 |        3 |        7
1508.45/1508.85	c 1028s |      12 |   177484 |    32719 |   157879      0 |        3 |        7
1510.85/1511.25	c 1031s |      12 |   177711 |    32819 |   157879      0 |        3 |        7
1513.35/1513.71	c 1033s |      12 |   178702 |    32919 |   157879      0 |        3 |        7
1515.75/1516.12	c 1036s |      12 |   179169 |    33019 |   157879      0 |        3 |        7
1518.35/1518.73	c 1038s |      12 |   179336 |    33119 |   157879      0 |        3 |        7
1520.75/1521.12	c 1041s |      12 |   179569 |    33219 |   157879      0 |        3 |        7
1523.74/1524.15	c 1044s |      12 |   180085 |    33319 |   157879      0 |        3 |        7
1526.34/1526.80	c 1046s |      12 |   180438 |    33419 |   157879      0 |        3 |        7
1529.14/1529.54	c 1049s |      12 |   181122 |    33519 |   157879      0 |        3 |        7
1531.95/1532.36	c 1052s |      12 |   181529 |    33619 |   157879      0 |        3 |        7
1534.44/1534.80	c 1054s |      12 |   181942 |    33719 |   157879      0 |        3 |        7
1537.55/1537.99	c 1058s |      12 |   182436 |    33819 |   157879      0 |        3 |        7
1540.75/1541.20	c 1061s |      12 |   183006 |    33919 |   157879      0 |        3 |        7
1543.94/1544.31	c 1064s |      12 |   183253 |    34019 |   157879      0 |        3 |        7
1546.44/1546.85	c 1066s |      12 |   183747 |    34119 |   157879      0 |        3 |        7
1549.24/1549.65	c 1069s |      12 |   184137 |    34219 |   157879      0 |        3 |        7
1551.44/1551.89	c 1071s |      12 |   184683 |    34319 |   157879      0 |        3 |        7
1554.14/1554.58	c 1074s |      12 |   185385 |    34419 |   157879      0 |        3 |        7
1556.44/1556.84	c 1076s |      12 |   185765 |    34519 |   157879      0 |        3 |        7
1559.24/1559.65	c 1079s |      12 |   186250 |    34619 |   157879      0 |        3 |        7
1561.94/1562.34	c 1082s |      12 |   186469 |    34719 |   157879      0 |        3 |        7
1564.54/1564.99	c 1085s |      12 |   187548 |    34819 |   157879      0 |        3 |        7
1566.94/1567.34	c 1087s |      12 |   187779 |    34919 |   157879      0 |        3 |        7
1569.84/1570.23	c 1090s |      12 |   189132 |    35019 |   157879      0 |        3 |        7
1572.64/1573.07	c 1093s |      12 |   190624 |    35119 |   157879      0 |        3 |        7
1575.14/1575.51	c 1095s |      12 |   191505 |    35219 |   157879      0 |        3 |        7
1577.34/1577.77	c 1097s |      12 |   192477 |    35319 |   157879      0 |        3 |        7
1580.24/1580.69	c 1100s |      12 |   193217 |    35419 |   157879      0 |        3 |        7
1582.83/1583.26	c 1103s |      12 |   193592 |    35519 |   157879      0 |        3 |        7
1585.13/1585.59	c 1105s |      12 |   194064 |    35619 |   157879      0 |        3 |        7
1587.63/1588.01	c 1108s |      12 |   194488 |    35719 |   157879      0 |        3 |        7
1590.43/1590.80	c 1110s |      12 |   195036 |    35819 |   157879      0 |        3 |        7
1593.33/1593.77	c 1113s |      12 |   195359 |    35919 |   157879      0 |        3 |        7
1596.63/1597.04	c 1117s |      12 |   196121 |    36019 |   157879      0 |        3 |        7
1599.33/1599.74	c 1119s |      12 |   196601 |    36119 |   157879      0 |        3 |        7
1601.63/1602.07	c 1122s |      12 |   196920 |    36219 |   157879      0 |        3 |        7
1604.73/1605.18	c 1125s |      12 |   197482 |    36319 |   157879      0 |        3 |        7
1607.44/1607.81	c 1127s |      12 |   197685 |    36419 |   157879      0 |        3 |        7
1609.84/1610.29	c 1130s |      12 |   197919 |    36519 |   157879      0 |        3 |        7
1612.74/1613.11	c 1133s |      12 |   198665 |    36619 |   157879      0 |        3 |        7
1616.04/1616.41	c 1136s |      12 |   199086 |    36719 |   157879      0 |        3 |        7
1618.94/1619.37	c 1139s |      12 |   199788 |    36819 |   157879      0 |        3 |        7
1621.74/1622.10	c 1142s |      12 |   200298 |    36919 |   157879      0 |        3 |        7
1624.44/1624.87	c 1144s |      12 |   200777 |    37019 |   157879      0 |        3 |        7
1627.54/1627.99	c 1148s |      12 |   201432 |    37119 |   157879      0 |        3 |        7
1630.94/1631.31	c 1151s |      12 |   201879 |    37219 |   157879      0 |        3 |        7
1634.34/1634.78	c 1154s |      12 |   202170 |    37319 |   157879      0 |        3 |        7
1637.43/1637.89	c 1157s |      12 |   203224 |    37419 |   157879      0 |        3 |        7
1640.23/1640.68	c 1160s |      12 |   203797 |    37519 |   157879      0 |        3 |        7
1643.43/1643.82	c 1163s |      12 |   204250 |    37619 |   157879      0 |        3 |        7
1647.03/1647.48	c 1167s |      12 |   204470 |    37719 |   157879      0 |        3 |        7
1649.53/1650.00	c 1170s |      12 |   204742 |    37819 |   157879      0 |        3 |        7
1652.94/1653.34	c 1173s |      12 |   205118 |    37919 |   157879      0 |        3 |        7
1656.03/1656.49	c 1176s |      12 |   205671 |    38019 |   157879      0 |        3 |        7
1658.83/1659.25	c 1179s |      12 |   206028 |    38119 |   157879      0 |        3 |        7
1662.03/1662.40	c 1182s |      12 |   206352 |    38219 |   157879      0 |        3 |        7
1665.23/1665.61	c 1185s |      12 |   207452 |    38319 |   157879      0 |        3 |        7
1668.34/1668.71	c 1188s |      12 |   207671 |    38419 |   157879      0 |        3 |        7
1671.23/1671.64	c 1191s |      12 |   207982 |    38519 |   157879      0 |        3 |        7
1674.53/1674.90	c 1194s |      12 |   208352 |    38619 |   157879      0 |        3 |        7
1677.93/1678.37	c 1198s |      12 |   208550 |    38719 |   157879      0 |        3 |        7
1681.23/1681.63	c 1201s |      12 |   208827 |    38819 |   157879      0 |        3 |        7
1681.63/1682.09	c 1202s |      13 |   208875 |    38832 |   157879      0 |        3 |        7
1685.33/1685.75	c 1205s |      13 |   210115 |    38932 |   157879      0 |        3 |        7
1688.43/1688.85	c 1208s |      13 |   210986 |    39032 |   157879      0 |        3 |        7
1691.43/1691.82	c 1211s |      13 |   211379 |    39132 |   157879      0 |        3 |        7
1694.83/1695.26	c 1215s |      13 |   211774 |    39232 |   157879      0 |        3 |        7
1698.32/1698.71	c 1218s |      13 |   212445 |    39332 |   157879      0 |        3 |        7
1701.52/1701.98	c 1222s |      13 |   212855 |    39432 |   157879      0 |        3 |        7
1704.92/1705.31	c 1225s |      13 |   213400 |    39532 |   157879      0 |        3 |        7
1708.12/1708.58	c 1228s |      13 |   214103 |    39632 |   157879      0 |        3 |        7
1711.33/1711.78	c 1231s |      13 |   214361 |    39732 |   157879      0 |        3 |        7
1714.82/1715.22	c 1235s |      13 |   215013 |    39832 |   157879      0 |        3 |        7
1718.52/1718.97	c 1239s |      13 |   215705 |    39932 |   157879      0 |        3 |        7
1722.23/1722.65	c 1242s |      13 |   216202 |    40032 |   157879      0 |        3 |        7
1725.22/1725.62	c 1245s |      13 |   216714 |    40132 |   157879      0 |        3 |        7
1728.72/1729.14	c 1249s |      13 |   217248 |    40232 |   157879      0 |        3 |        7
1732.42/1732.87	c 1252s |      13 |   217647 |    40332 |   157879      0 |        3 |        7
1735.72/1736.19	c 1256s |      13 |   218205 |    40432 |   157879      0 |        3 |        7
1739.02/1739.43	c 1259s |      13 |   219309 |    40532 |   157879      0 |        3 |        7
1741.62/1742.04	c 1262s |      13 |   219824 |    40632 |   157879      0 |        3 |        7
1744.02/1744.49	c 1264s |      13 |   220058 |    40732 |   157879      0 |        3 |        7
1747.12/1747.56	c 1267s |      13 |   220553 |    40832 |   157879      0 |        3 |        7
1750.32/1750.73	c 1270s |      13 |   220912 |    40932 |   157879      0 |        3 |        7
1753.72/1754.18	c 1274s |      13 |   221259 |    41032 |   157879      0 |        3 |        7
1756.92/1757.38	c 1277s |      13 |   221512 |    41132 |   157879      0 |        3 |        7
1759.91/1760.31	c 1280s |      13 |   221933 |    41232 |   157879      0 |        3 |        7
1762.51/1762.99	c 1283s |      13 |   222095 |    41332 |   157879      0 |        3 |        7
1765.31/1765.74	c 1285s |      13 |   222373 |    41432 |   157879      0 |        3 |        7
1768.21/1768.68	c 1288s |      13 |   222622 |    41532 |   157879      0 |        3 |        7
1771.21/1771.60	c 1291s |      13 |   223151 |    41632 |   157879      0 |        3 |        7
1773.71/1774.18	c 1294s |      13 |   223788 |    41732 |   157879      0 |        3 |        7
1776.41/1776.84	c 1296s |      13 |   224264 |    41832 |   157879      0 |        3 |        7
1779.91/1780.37	c 1300s |      13 |   225417 |    41932 |   157879      0 |        3 |        7
1783.31/1783.78	c 1303s |      13 |   226505 |    42032 |   157879      0 |        3 |        7
1787.12/1787.59	c 1307s |      13 |   227599 |    42132 |   157879      0 |        3 |        7
1789.71/1790.19	c 1310s |      13 |   228233 |    42232 |   157879      0 |        3 |        7
1792.41/1792.87	c 1312s |      13 |   228620 |    42332 |   157879      0 |        3 |        7
1795.71/1796.14	c 1316s |      13 |   229002 |    42432 |   157879      0 |        3 |        7
1799.01/1799.44	c 1319s |      13 |   229458 |    42532 |   157879      0 |        3 |        7

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.01 2.04 4/179 13051
/proc/meminfo: memFree=31560628/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 2916 0 0 0 0 0 0 0 20 0 4 0 107475563 797372416 2766 33554432000 4194304 16246674 140737204161296 140737204160720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 195183 2774 441 2943 0 192077 0
[pid=13051/tid=13052] ppid=13048 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 816246784 2836 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=802236 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 821489664 2855 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 107475563 825683968 2872 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100147 s]
/proc/loadavg: 1.92 2.01 2.04 4/179 13051
/proc/meminfo: memFree=31560628/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 28483 0 0 0 6 3 0 0 20 0 4 0 107475563 1333334016 28271 33554432000 4194304 16246674 140737204161296 140737204143168 8057278 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 325521 28286 800 2943 0 322415 0
[pid=13051/tid=13052] ppid=13048 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1333334016 28297 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1333334016 28308 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1333334016 28319 33554432000 4194304 16246674 140737204161296 140183799319728 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.20053 s]
/proc/loadavg: 1.92 2.01 2.04 4/179 13051
/proc/meminfo: memFree=31560628/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 46610 0 0 0 14 5 0 0 20 0 4 0 107475563 1344868352 46398 33554432000 4194304 16246674 140737204161296 140737204143168 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328337 46400 835 2943 0 325231 0
[pid=13051/tid=13052] ppid=13048 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1344868352 46402 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1344868352 46403 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1344868352 46405 33554432000 4194304 16246674 140737204161296 140183799319728 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.300493 s]
/proc/loadavg: 1.92 2.01 2.04 4/179 13051
/proc/meminfo: memFree=31560628/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 47026 0 0 0 24 5 0 0 20 0 4 0 107475563 1345916928 46814 33554432000 4194304 16246674 140737204161296 140737204160608 13811540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 46814 835 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 46814 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 46814 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 46814 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+0.70042 s]
/proc/loadavg: 1.92 2.01 2.04 4/179 13051
/proc/meminfo: memFree=31560628/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 69189 0 0 0 61 8 0 0 20 0 4 0 107475563 1345916928 68977 33554432000 4194304 16246674 140737204161296 140737204160608 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 68977 837 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 68977 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 68977 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 68977 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+1.50042 s]
/proc/loadavg: 1.92 2.01 2.04 3/183 13055
/proc/meminfo: memFree=30271152/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 116262 0 0 0 135 14 0 0 20 0 4 0 107475563 1345916928 116050 33554432000 4194304 16246674 140737204161296 140737204143168 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 116050 910 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 116050 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 116050 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 116050 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+3.1004 s]
/proc/loadavg: 1.92 2.01 2.04 3/183 13055
/proc/meminfo: memFree=29658336/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=3.09 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 252787 0 0 0 278 31 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140737204143168 6022473 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 252575 912 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+6.30042 s]
/proc/loadavg: 1.93 2.01 2.04 3/183 13055
/proc/meminfo: memFree=29529344/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=6.29 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 252787 0 0 0 598 31 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140737204143168 12482735 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 252575 912 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252575 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+12.7004 s]
/proc/loadavg: 1.93 2.01 2.04 3/183 13104
/proc/meminfo: memFree=29869160/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=12.69 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 252789 0 0 0 1237 32 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140737204160472 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 252577 914 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+25.5005 s]
/proc/loadavg: 1.95 2.01 2.04 3/183 13104
/proc/meminfo: memFree=29528696/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 252789 0 0 0 2516 33 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140737204160472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 252577 914 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 252577 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 13104
/proc/meminfo: memFree=29501108/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=51.08 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 252790 0 0 0 5074 34 0 0 20 0 4 0 107475563 1345916928 258122 33554432000 4194304 16246674 140737204161296 140737204160472 5822183 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 258122 915 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 258122 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 258122 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 258122 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/183 13106
/proc/meminfo: memFree=29455168/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1314372 CPUtime=102.28 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 252790 0 0 0 10178 50 0 0 20 0 4 0 107475563 1345916928 269210 33554432000 4194304 16246674 140737204161296 140737204143168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 328593 269210 915 2943 0 325487 0
[pid=13051/tid=13052] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 269210 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 269210 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1345916928 269210 33554432000 4194304 16246674 140737204161296 140183799319728 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) 1314372


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

/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 13136
/proc/meminfo: memFree=29429660/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1301.98 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 129910 288 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 13137
/proc/meminfo: memFree=29430028/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1361.97 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 135909 288 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 5676080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13138
/proc/meminfo: memFree=29431352/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1421.97 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 141909 288 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 5675695 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13139
/proc/meminfo: memFree=29431228/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1481.95 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 147907 288 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 13820973 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 13140
/proc/meminfo: memFree=29431232/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1541.95 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 153907 288 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/184 13145
/proc/meminfo: memFree=29428752/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1601.93 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 159905 288 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 12483671 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 13146
/proc/meminfo: memFree=29428760/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1661.93 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254907 0 0 0 165904 289 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 5823320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 13147
/proc/meminfo: memFree=29428820/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1721.92 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254908 0 0 0 171903 289 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 12483532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 13148
/proc/meminfo: memFree=29427588/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1781.91 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254908 0 0 0 177902 289 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 2.00 4/183 13148
/proc/meminfo: memFree=29427716/32872528 swapFree=11196/354588
[pid=13051] ppid=13048 vsize=1320516 CPUtime=1800.01 cores=0,2,4,6
/proc/13051/stat : 13051 (toysat) R 13048 13051 12837 0 -1 4202496 254908 0 0 0 179712 289 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140737204143168 13820964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13051/statm: 330129 271133 917 2943 0 327023 0
[pid=13051/tid=13052] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13052/stat : 13052 (toysat) S 13048 13051 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183820283120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13051/tid=13053] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13053/stat : 13053 (toysat) S 13048 13051 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183809793264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13051/tid=13054] ppid=13048 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/13051/task/13054/stat : 13054 (toysat) S 13048 13051 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 107475563 1352208384 271133 33554432000 4194304 16246674 140737204161296 140183799319728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1320516

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 13051 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.02
CPU user time (s): 1797.13
CPU system time (s): 2.89256
CPU usage (%): 99.9784
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.13
system time used= 2.89256
maximum resident set size= 1084532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254908
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= 209
involuntary context switches= 1965

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6293 second user time and 6.87595 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 01:23:41
IDJOB=4080140
IDBENCH=48104
IDSOLVER=2542
FILE ID=node126/4080140-1465255421
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080140-1465255421/watcher-4080140-1465255421 -o /tmp/evaluation-result-4080140-1465255421/solver-4080140-1465255421 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080140-1465255421.opb

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

MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d
RANDOM SEED=724322129

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        31573712 kB
Buffers:           63328 kB
Cached:           139264 kB
SwapCached:         2244 kB
Active:           121788 kB
Inactive:         120424 kB
Active(anon):      38836 kB
Inactive(anon):     2384 kB
Active(file):      82952 kB
Inactive(file):   118040 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098552 kB
Dirty:             33000 kB
Writeback:             0 kB
AnonPages:        607612 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             568536 kB
SReclaimable:      12912 kB
SUnreclaim:       555624 kB
KernelStack:        1520 kB
PageTables:         6588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1483308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    561152 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= 71708 MiB
End job on node126 at 2016-06-07 01:53:42