Trace number 4108509

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.1 1800.63

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12060_5.std.opb
MD5SUMa5005fc9f27cd5643854e7c3033a2662
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark107
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints256266
Number of constraints which are clauses255066
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-19T01:11:25+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-4108509-1466291485.opb"]
0.00/0.01	c use --random-gen="882221475 67371862 1732260698 1458594826 4101035929 3222381924 4165509261 2706994875 1629753034 4257228102 2541410812 926449740 3029253305 2690555402 3520720295 319504867 2477601023 4070858616 2249451198 2013382678 3312894760 292746772 2484846528 2173288333 1726942594 988862382 420032822 1370994762 1070678688 2464633445 3576432269 30654246 1475014891 2928896297 2284134955 646228247 709439787 3093410644 2514078621 3640786692 3810251108 1646110917 2602412743 3287417896 3350016728 412583013 2192572147 4240851141 149699502 1659939345 3413388226 3639908335 3212451215 3284314633 303040965 387799050 3378496950 3671680309 4277454196 3770614168 1976463696 4070227833 3796150603 1276899305 2500579464 3611000698 205675570 2013716817 3701360152 3540104757 5493294 191154842 2571122727 3959849615 2239816321 1297496655 3713212663 4144165394 2013821075 2072767743 1577354901 2585923914 275081328 1084321518 2646844994 3663244765 1110147683 2163975918 1804805620 2433016943 3449251420 558883997 4244793381 1579461109 1999039003 1102669580 3631459604 1902664649 2374693889 2693184955 3495711412 254092626 2624431097 658380948 2600306461 2207544527 2884601542 1067654101 1187046720 242231839 2331430829 619240268 4117324791 222726358 3851889671 2953194313 2128833273 326246809 3548930756 1041892397 1914328916 1945199156 2682454352 1792132596 3263274497 3657500721 1372879864 2958876819 3415878115 2104249840 2480129899 1201341289 3034188860 2073596928 4254997983 2228205142 4011501553 1348863881 3805931786 4244211162 886175851 1501872546 554016572 2859412760 1076696914 1314427242 684205508 2370559171 2287153264 3915908157 2865639134 3866761128 217106810 2054345449 1051035210 2352916180 2514426612 3391610166 2164082301 2830039587 2982532904 731781179 848231384 2727926011 2705165944 2970011830 1531825724 812298083 3024624507 1523639291 679292162 1942727972 3431360049 3088001926 3928712367 2489292511 3584825925 560104067 397509869 1785784336 2409410253 495620736 200512959 1203801033 1093316925 1195834518 4245295028 929718637 3358745767 3874381557 2467716724 1446727097 1033968639 1684627562 2945568590 4114146125 1468653731 3154770714 1439811585 4027736244 696449142 2606954097 1313242184 3741966678 2591382431 697039335 3113470162 379814854 3047965961 2696966538 3431152760 4117894379 2221772817 3307927344 3254530294 3366947392 731636393 621718617 3760114315 2661861401 2073470779 3612130569 4262247344 2308118194 1352299713 654576221 3171023073 1223653791 1943048342 2756968479 1130007254 1932680009 2444389810 3278424954 1893736939 496919644 2688196078 346001337 2109070517 511201757 2344416695 865961434 1863160460 485124046 2130553630 3216337420 1010930699 2885647076 297947980 4096842690 3282543625 1074757152 1125765810 1645855719 2997198111 1660410410 255 362436" option to reproduce the execution
1.49/1.53	c #vars 72842
1.49/1.53	c #constraints 256266
4.78/4.85	c BCD2: Hardening is enabled.
4.78/4.85	c BCD2: BiasedSearch is enabled.
4.78/4.85	c Solving starts ...
4.78/4.85	c ============================[ Search Statistics ]============================
4.78/4.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.78/4.85	c       |         |          |          |    Limit     GC | Var      | Constra 
4.78/4.85	c =============================================================================
4.88/4.95	c  0.0s |       0 |        0 |        0 |    92397      0 |    19168 |        0
5.18/5.22	c  0.3s |       0 |      121 |        0 |    92397      0 |    19168 |    23324
5.18/5.22	c #cpu_time = 0.236s
5.18/5.22	c #wall_clock_time = 0.236s
5.18/5.22	c #decision = 121
5.18/5.22	c #random_decision = 0
5.18/5.22	c #conflict = 0
5.18/5.22	c #restart = 0
5.18/5.22	o 300
5.18/5.22	c BCD2: hardening fixes 1 literals
5.18/5.22	c BCD2: updating upper bound: 45150 -> 299
5.18/5.22	c BCD2: 0 <= obj <= 299
5.18/5.22	c BCD2: #cores=0, #unrelaxed=299, #relaxed=0, #hardened=1
5.18/5.22	c BCD2: #sat=1 #unsat=1 bias=1/2
5.18/5.22	c Solving starts ...
5.18/5.22	c ============================[ Search Statistics ]============================
5.18/5.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
5.18/5.22	c       |         |          |          |    Limit     GC | Var      | Constra 
5.18/5.22	c =============================================================================
5.18/5.22	c  0.0s |       0 |        0 |        0 |    92397      0 |    19410 |    23324
5.38/5.44	c  0.2s |       0 |      203 |        0 |    92397      0 |    19410 |    24183
5.38/5.44	c #cpu_time = 0.200s
5.38/5.44	c #wall_clock_time = 0.200s
5.38/5.44	c #decision = 203
5.38/5.44	c #random_decision = 0
5.38/5.44	c #conflict = 0
5.38/5.44	c #restart = 0
5.38/5.44	c BCD2: found a new core of size 204: cost of the new core is >=96
5.38/5.44	c lower bound updated to 96
5.38/5.44	c BCD2: 96 <= obj <= 299
5.38/5.44	c BCD2: #cores=1, #unrelaxed=95, #relaxed=204, #hardened=1
5.38/5.44	c BCD2: #sat=1 #unsat=2 bias=2/3
6.88/6.91	c Solving starts ...
6.88/6.91	c ============================[ Search Statistics ]============================
6.88/6.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.88/6.91	c       |         |          |          |    Limit     GC | Var      | Constra 
6.88/6.91	c =============================================================================
6.88/6.91	c  0.0s |       0 |        0 |        0 |    92397      0 |    19410 |    24183
7.19/7.24	c  0.3s |       1 |      228 |      100 |    92397      0 |    19410 |    24183
7.59/7.65	c  0.7s |       2 |      488 |      250 |   101637      0 |    19410 |    24183
8.19/8.22	c  1.3s |       3 |      816 |      475 |   111801      0 |    19410 |    24183
8.90/8.94	c  2.0s |       4 |     1284 |      813 |   122982      0 |    19410 |    24183
10.00/10.06	c  3.1s |       5 |     1938 |     1320 |   135281      0 |    19410 |    24183
11.49/11.53	c  4.6s |       6 |     3143 |     2081 |   163691      0 |    19410 |    24183
13.59/13.62	c  6.7s |       6 |     4626 |     3081 |   163691      0 |    19410 |    24183
13.89/13.92	c  7.0s |       7 |     4823 |     3223 |   180061      0 |    19410 |    24183
15.89/15.93	c  9.0s |       7 |     6171 |     4223 |   180061      0 |    19410 |    24183
17.29/17.33	c 10.4s |       8 |     7133 |     4936 |   198068      0 |    19410 |    24183
19.39/19.45	c 12.5s |       8 |     8498 |     5936 |   198068      0 |    19410 |    24183
21.39/21.49	c 14.6s |       8 |    10232 |     7136 |   198068      0 |    19410 |    24183
22.10/22.18	c 15.3s |       9 |    10725 |     7506 |   217875      0 |    19410 |    24183
24.20/24.22	c 17.3s |       9 |    12201 |     8506 |   217875      0 |    19410 |    24183
26.40/26.46	c 19.5s |       9 |    13535 |     9506 |   217875      0 |    19410 |    24183
28.39/28.49	c 21.6s |       9 |    14576 |    10306 |   217875      0 |    19410 |    24183
30.49/30.56	c 23.6s |      10 |    16052 |    11361 |   239663      0 |    19410 |    24183
32.59/32.62	c 25.7s |      10 |    17209 |    12161 |   239663      0 |    19410 |    24183
34.79/34.82	c 27.9s |      10 |    18563 |    13161 |   239663      0 |    19410 |    24183
36.89/36.90	c 30.0s |      10 |    19823 |    14061 |   239663      0 |    19410 |    24183
38.99/39.03	c 32.1s |      10 |    21023 |    14961 |   239663      0 |    19410 |    24183
41.09/41.11	c 34.2s |      10 |    22083 |    15761 |   239663      0 |    19410 |    24183
43.19/43.22	c 36.3s |      10 |    23088 |    16561 |   239663      0 |    19410 |    24183
44.59/44.61	c 37.7s |      11 |    23836 |    17144 |   263630      0 |    19410 |    24183
46.69/46.77	c 39.9s |      11 |    24915 |    17944 |   263630      0 |    19410 |    24183
48.88/48.97	c 42.1s |      11 |    26100 |    18844 |   263630      0 |    19410 |    24183
51.08/51.10	c 44.2s |      11 |    27190 |    19644 |   263630      0 |    19410 |    24183
53.18/53.24	c 46.3s |      11 |    28087 |    20344 |   263630      0 |    19410 |    24183
55.38/55.48	c 48.6s |      11 |    29131 |    21144 |   263630      0 |    19410 |    24183
57.68/57.70	c 50.8s |      11 |    30149 |    21944 |   263630      0 |    19410 |    24183
59.98/60.05	c 53.1s |      11 |    31212 |    22744 |   263630      0 |    19410 |    24183
62.18/62.28	c 55.4s |      11 |    32126 |    23444 |   263630      0 |    19410 |    24183
64.38/64.41	c 57.5s |      11 |    32977 |    24144 |   263630      0 |    19410 |    24183
66.48/66.57	c 59.7s |      11 |    33835 |    24844 |   263630      0 |    19410 |    24183
68.58/68.63	c 61.7s |      11 |    34553 |    25444 |   263630      0 |    19410 |    24183
69.68/69.77	c 62.9s |      12 |    35059 |    25819 |   289993      0 |    19410 |    24183
71.88/71.98	c 65.1s |      12 |    36065 |    26519 |   289993      0 |    19410 |    24183
73.98/74.09	c 67.2s |      12 |    37120 |    27319 |   289993      0 |    19410 |    24183
76.18/76.21	c 69.3s |      12 |    38155 |    28119 |   289993      0 |    19410 |    24183
78.28/78.31	c 71.4s |      12 |    39044 |    28819 |   289993      0 |    19410 |    24183
80.29/80.34	c 73.4s |      12 |    39763 |    29419 |   289993      0 |    19410 |    24183
82.38/82.49	c 75.6s |      12 |    40638 |    30119 |   289993      0 |    19410 |    24183
84.48/84.54	c 77.6s |      12 |    41576 |    30819 |   289993      0 |    19410 |    24183
86.78/86.81	c 79.9s |      12 |    42507 |    31519 |   289993      0 |    19410 |    24183
89.08/89.12	c 82.2s |      12 |    43347 |    32219 |   289993      0 |    19410 |    24183
91.18/91.28	c 84.4s |      12 |    44186 |    32919 |   289993      0 |    19410 |    24183
93.38/93.41	c 86.5s |      12 |    44935 |    33519 |   289993      0 |    19410 |    24183
95.68/95.70	c 88.8s |      12 |    45945 |    34219 |   289993      0 |    19410 |    24183
97.78/97.81	c 90.9s |      12 |    46725 |    34819 |   289993      0 |    19410 |    24183
99.78/99.84	c 92.9s |      12 |    47474 |    35419 |   289993      0 |    19410 |    24183
101.78/101.86	c 94.9s |      12 |    48218 |    36019 |   289993      0 |    19410 |    24183
103.88/104.00	c 97.1s |      12 |    48985 |    36619 |   289993      0 |    19410 |    24183
106.07/106.16	c 99.2s |      12 |    49714 |    37219 |   289993      0 |    19410 |    24183
108.28/108.37	c  101s |      12 |    50411 |    37819 |   289993      0 |    19410 |    24183
110.57/110.65	c  103s |      12 |    51138 |    38419 |   289993      0 |    19410 |    24183
112.18/112.29	c  105s |      13 |    51631 |    38832 |   318993      0 |    19410 |    24183
114.57/114.61	c  107s |      13 |    52137 |    39232 |   318993      0 |    19410 |    24183
116.68/116.75	c  109s |      13 |    52954 |    39832 |   318993      0 |    19410 |    24183
118.97/119.05	c  112s |      13 |    53706 |    40432 |   318993      0 |    19410 |    24183
121.17/121.25	c  114s |      13 |    54502 |    41032 |   318993      0 |    19410 |    24183
123.37/123.45	c  116s |      13 |    55237 |    41632 |   318993      0 |    19410 |    24183
125.57/125.64	c  118s |      13 |    56003 |    42232 |   318993      0 |    19410 |    24183
127.77/127.87	c  120s |      13 |    56843 |    42832 |   318993      0 |    19410 |    24183
129.97/130.07	c  123s |      13 |    57649 |    43432 |   318993      0 |    19410 |    24183
132.08/132.11	c  125s |      13 |    58294 |    43932 |   318993      0 |    19410 |    24183
134.07/134.17	c  127s |      13 |    58919 |    44432 |   318993      0 |    19410 |    24183
136.17/136.29	c  129s |      13 |    59532 |    44932 |   318993      0 |    19410 |    24183
138.37/138.49	c  131s |      13 |    60437 |    45632 |   318993      0 |    19410 |    24183
140.67/140.78	c  133s |      13 |    61174 |    46232 |   318993      0 |    19410 |    24183
142.77/142.85	c  135s |      13 |    61779 |    46732 |   318993      0 |    19410 |    24183
145.07/145.13	c  138s |      13 |    62559 |    47332 |   318993      0 |    19410 |    24183
147.37/147.47	c  140s |      13 |    63320 |    47932 |   318993      0 |    19410 |    24183
149.67/149.78	c  142s |      13 |    64093 |    48532 |   318993      0 |    19410 |    24183
152.07/152.12	c  145s |      13 |    64848 |    49132 |   318993      0 |    19410 |    24183
154.07/154.15	c  147s |      13 |    65455 |    49632 |   318993      0 |    19410 |    24183
156.17/156.26	c  149s |      13 |    66068 |    50132 |   318993      0 |    19410 |    24183
158.27/158.39	c  151s |      13 |    66634 |    50632 |   318993      0 |    19410 |    24183
160.37/160.48	c  153s |      13 |    67273 |    51132 |   318993      0 |    19410 |    24183
162.66/162.77	c  155s |      13 |    67899 |    51632 |   318993      0 |    19410 |    24183
165.16/165.24	c  158s |      13 |    68530 |    52132 |   318993      0 |    19410 |    24183
167.46/167.58	c  160s |      13 |    69166 |    52632 |   318993      0 |    19410 |    24183
169.56/169.66	c  162s |      13 |    69823 |    53132 |   318993      0 |    19410 |    24183
171.86/171.99	c  165s |      13 |    70411 |    53632 |   318993      0 |    19410 |    24183
174.16/174.25	c  167s |      13 |    71047 |    54132 |   318993      0 |    19410 |    24183
176.46/176.54	c  169s |      13 |    71691 |    54632 |   318993      0 |    19410 |    24183
178.86/178.98	c  172s |      13 |    72328 |    55132 |   318993      0 |    19410 |    24183
181.26/181.35	c  174s |      13 |    73113 |    55732 |   318993      0 |    19410 |    24183
183.46/183.59	c  176s |      13 |    73716 |    56232 |   318993      0 |    19410 |    24183
185.76/185.84	c  178s |      13 |    74301 |    56732 |   318993      0 |    19410 |    24183
188.07/188.19	c  181s |      13 |    74982 |    57232 |   318993      0 |    19410 |    24183
190.27/190.36	c  183s |      13 |    75613 |    57732 |   318993      0 |    19410 |    24183
192.57/192.63	c  185s |      13 |    76215 |    58232 |   350893      0 |    19410 |    24183
193.16/193.22	c  186s |      14 |    76363 |    58352 |   350893      0 |    19410 |    24183
195.46/195.51	c  188s |      14 |    76735 |    58652 |   350893      0 |    19410 |    24183
197.76/197.86	c  190s |      14 |    77352 |    59152 |   350893      0 |    19410 |    24183
200.06/200.14	c  193s |      14 |    77949 |    59652 |   350893      0 |    19410 |    24183
202.16/202.25	c  195s |      14 |    78572 |    60152 |   350893      0 |    19410 |    24183
204.36/204.44	c  197s |      14 |    79183 |    60652 |   350893      0 |    19410 |    24183
206.46/206.58	c  199s |      14 |    79775 |    61152 |   350893      0 |    19410 |    24183
208.66/208.71	c  201s |      14 |    80382 |    61652 |   350893      0 |    19410 |    24183
210.86/210.96	c  204s |      14 |    80900 |    62052 |   350893      0 |    19410 |    24183
213.36/213.42	c  206s |      14 |    81492 |    62552 |   350893      0 |    19410 |    24183
215.56/215.63	c  208s |      14 |    81962 |    62952 |   350893      0 |    19410 |    24183
217.65/217.71	c  210s |      14 |    82462 |    63352 |   350893      0 |    19410 |    24183
219.85/219.92	c  213s |      14 |    82939 |    63752 |   350893      0 |    19410 |    24183
222.16/222.23	c  215s |      14 |    83527 |    64252 |   350893      0 |    19410 |    24183
224.36/224.50	c  217s |      14 |    84184 |    64752 |   350893      0 |    19410 |    24183
226.45/226.57	c  219s |      14 |    84864 |    65252 |   350893      0 |    19410 |    24183
228.45/228.58	c  221s |      14 |    85353 |    65652 |   350893      0 |    19410 |    24183
230.75/230.88	c  223s |      14 |    85844 |    66052 |   350893      0 |    19410 |    24183
233.05/233.20	c  226s |      14 |    86306 |    66452 |   350893      0 |    19410 |    24183
235.46/235.51	c  228s |      14 |    86772 |    66852 |   350893      0 |    19410 |    24183
237.95/238.06	c  231s |      14 |    87358 |    67352 |   350893      0 |    19410 |    24183
240.15/240.27	c  233s |      14 |    87813 |    67752 |   350893      0 |    19410 |    24183
242.55/242.69	c  235s |      14 |    88521 |    68252 |   350893      0 |    19410 |    24183
244.65/244.72	c  237s |      14 |    89194 |    68752 |   350893      0 |    19410 |    24183
246.85/246.95	c  240s |      14 |    90020 |    69352 |   350893      0 |    19410 |    24183
249.15/249.22	c  242s |      14 |    91112 |    70152 |   350893      0 |    19410 |    24183
251.45/251.57	c  244s |      14 |    91606 |    70552 |   350893      0 |    19410 |    24183
253.95/254.01	c  247s |      14 |    92123 |    70952 |   350893      0 |    19410 |    24183
255.95/256.08	c  249s |      14 |    92605 |    71352 |   350893      0 |    19410 |    24183
258.15/258.24	c  251s |      14 |    93149 |    71752 |   350893      0 |    19410 |    24183
260.25/260.30	c  253s |      14 |    93632 |    72152 |   350893      0 |    19410 |    24183
262.45/262.50	c  255s |      14 |    94150 |    72552 |   350893      0 |    19410 |    24183
264.65/264.70	c  257s |      14 |    94820 |    73052 |   350893      0 |    19410 |    24183
266.85/266.99	c  260s |      14 |    95289 |    73452 |   350893      0 |    19410 |    24183
269.45/269.53	c  262s |      14 |    95903 |    73952 |   350893      0 |    19410 |    24183
271.65/271.77	c  264s |      14 |    96398 |    74352 |   350893      0 |    19410 |    24183
274.05/274.14	c  267s |      14 |    96910 |    74752 |   350893      0 |    19410 |    24183
276.34/276.43	c  269s |      14 |    97378 |    75152 |   350893      0 |    19410 |    24183
278.74/278.82	c  271s |      14 |    97831 |    75552 |   350893      0 |    19410 |    24183
280.74/280.88	c  273s |      14 |    98330 |    75952 |   350893      0 |    19410 |    24183
282.94/283.05	c  276s |      14 |    98984 |    76452 |   350893      0 |    19410 |    24183
285.34/285.41	c  278s |      14 |    99509 |    76852 |   350893      0 |    19410 |    24183
287.94/288.00	c  281s |      14 |    99990 |    77252 |   350893      0 |    19410 |    24183
290.24/290.38	c  283s |      14 |   100487 |    77652 |   350893      0 |    19410 |    24183
292.65/292.74	c  285s |      14 |   101130 |    78152 |   350893      0 |    19410 |    24183
295.24/295.30	c  288s |      14 |   101755 |    78652 |   350893      0 |    19410 |    24183
297.44/297.57	c  290s |      14 |   102253 |    79052 |   350893      0 |    19410 |    24183
299.84/299.90	c  292s |      14 |   102799 |    79452 |   350893      0 |    19410 |    24183
301.84/301.92	c  295s |      14 |   103326 |    79852 |   350893      0 |    19410 |    24183
303.84/303.99	c  297s |      14 |   103962 |    80352 |   350893      0 |    19410 |    24183
305.94/306.03	c  299s |      14 |   104446 |    80752 |   350893      0 |    19410 |    24183
308.24/308.30	c  301s |      14 |   104937 |    81152 |   350893      0 |    19410 |    24183
310.34/310.45	c  303s |      14 |   105424 |    81552 |   350893      0 |    19410 |    24183
312.54/312.62	c  305s |      14 |   105940 |    81952 |   350893      0 |    19410 |    24183
314.64/314.74	c  307s |      14 |   106449 |    82352 |   350893      0 |    19410 |    24183
317.04/317.15	c  310s |      14 |   106939 |    82752 |   350893      0 |    19410 |    24183
319.54/319.64	c  312s |      14 |   107410 |    83152 |   350893      0 |    19410 |    24183
321.84/321.94	c  315s |      14 |   107898 |    83552 |   350893      0 |    19410 |    24183
324.04/324.16	c  317s |      14 |   108358 |    83952 |   350893      0 |    19410 |    24183
326.34/326.48	c  319s |      14 |   108885 |    84352 |   350893      0 |    19410 |    24183
329.14/329.23	c  322s |      14 |   109363 |    84752 |   350893      0 |    19410 |    24183
331.63/331.72	c  324s |      14 |   109861 |    85152 |   350893      0 |    19410 |    24183
333.73/333.86	c  326s |      14 |   110353 |    85552 |   350893      0 |    19410 |    24183
335.83/335.92	c  329s |      14 |   110802 |    85952 |   350893      0 |    19410 |    24183
338.13/338.24	c  331s |      14 |   111302 |    86352 |   350893      0 |    19410 |    24183
340.43/340.52	c  333s |      14 |   111792 |    86752 |   350893      0 |    19410 |    24183
342.43/342.59	c  335s |      14 |   112129 |    87052 |   385983      0 |    19410 |    24183
345.03/345.12	c  338s |      14 |   112593 |    87452 |   385983      0 |    19410 |    24183
346.33/346.45	c  339s |      15 |   112792 |    87632 |   385983      0 |    19410 |    24183
348.93/349.06	c  342s |      15 |   113029 |    87832 |   385983      0 |    19410 |    24183
351.53/351.62	c  344s |      15 |   113520 |    88232 |   385983      0 |    19410 |    24183
353.73/353.81	c  346s |      15 |   113979 |    88632 |   385983      0 |    19410 |    24183
356.03/356.18	c  349s |      15 |   114470 |    89032 |   385983      0 |    19410 |    24183
358.33/358.43	c  351s |      15 |   114959 |    89432 |   385983      0 |    19410 |    24183
360.53/360.62	c  353s |      15 |   115558 |    89932 |   385983      0 |    19410 |    24183
362.94/363.01	c  356s |      15 |   116179 |    90432 |   385983      0 |    19410 |    24183
365.03/365.18	c  358s |      15 |   116678 |    90832 |   385983      0 |    19410 |    24183
367.13/367.25	c  360s |      15 |   117212 |    91232 |   385983      0 |    19410 |    24183
369.73/369.85	c  362s |      15 |   117887 |    91732 |   385983      0 |    19410 |    24183
371.83/371.97	c  365s |      15 |   118653 |    92332 |   385983      0 |    19410 |    24183
373.93/374.02	c  367s |      15 |   119336 |    92832 |   385983      0 |    19410 |    24183
376.33/376.48	c  369s |      15 |   119905 |    93232 |   385983      0 |    19410 |    24183
378.53/378.69	c  371s |      15 |   120269 |    93532 |   385983      0 |    19410 |    24183
380.74/380.81	c  373s |      15 |   120692 |    93832 |   385983      0 |    19410 |    24183
382.93/383.10	c  376s |      15 |   121098 |    94132 |   385983      0 |    19410 |    24183
385.04/385.14	c  378s |      15 |   121582 |    94532 |   385983      0 |    19410 |    24183
387.73/387.84	c  380s |      15 |   122238 |    95032 |   385983      0 |    19410 |    24183
389.93/390.01	c  383s |      15 |   122735 |    95432 |   385983      0 |    19410 |    24183
392.33/392.40	c  385s |      15 |   123349 |    95932 |   385983      0 |    19410 |    24183
394.33/394.41	c  387s |      15 |   123839 |    96332 |   385983      0 |    19410 |    24183
396.53/396.65	c  389s |      15 |   124363 |    96732 |   385983      0 |    19410 |    24183
398.73/398.86	c  391s |      15 |   124982 |    97232 |   385983      0 |    19410 |    24183
401.13/401.21	c  394s |      15 |   125735 |    97832 |   385983      0 |    19410 |    24183
403.33/403.47	c  396s |      15 |   126650 |    98532 |   385983      0 |    19410 |    24183
405.43/405.52	c  398s |      15 |   127347 |    99032 |   385983      0 |    19410 |    24183
407.43/407.55	c  400s |      15 |   127866 |    99432 |   385983      0 |    19410 |    24183
409.63/409.79	c  402s |      15 |   128285 |    99732 |   385983      0 |    19410 |    24183
411.83/411.96	c  405s |      15 |   128689 |   100032 |   385983      0 |    19410 |    24183
414.33/414.41	c  407s |      15 |   129041 |   100332 |   385983      0 |    19410 |    24183
416.63/416.71	c  409s |      15 |   129460 |   100632 |   385983      0 |    19410 |    24183
418.83/418.95	c  412s |      15 |   129871 |   100932 |   385983      0 |    19410 |    24183
421.13/421.20	c  414s |      15 |   130251 |   101232 |   385983      0 |    19410 |    24183
423.33/423.49	c  416s |      15 |   130787 |   101632 |   385983      0 |    19410 |    24183
425.73/425.85	c  418s |      15 |   131168 |   101932 |   385983      0 |    19410 |    24183
427.93/428.02	c  421s |      15 |   131563 |   102232 |   385983      0 |    19410 |    24183
430.43/430.57	c  423s |      15 |   132055 |   102632 |   385983      0 |    19410 |    24183
432.83/432.97	c  426s |      15 |   132544 |   103032 |   385983      0 |    19410 |    24183
435.13/435.21	c  428s |      15 |   132896 |   103332 |   385983      0 |    19410 |    24183
437.43/437.58	c  430s |      15 |   133246 |   103632 |   385983      0 |    19410 |    24183
439.83/439.92	c  433s |      15 |   133629 |   103932 |   385983      0 |    19410 |    24183
442.42/442.58	c  435s |      15 |   134019 |   104232 |   385983      0 |    19410 |    24183
444.92/445.04	c  438s |      15 |   134388 |   104532 |   385983      0 |    19410 |    24183
447.42/447.58	c  440s |      15 |   134735 |   104832 |   385983      0 |    19410 |    24183
449.62/449.73	c  442s |      15 |   135135 |   105132 |   385983      0 |    19410 |    24183
451.82/451.96	c  445s |      15 |   135529 |   105432 |   385983      0 |    19410 |    24183
454.33/454.43	c  447s |      15 |   136066 |   105832 |   385983      0 |    19410 |    24183
456.62/456.77	c  449s |      15 |   136420 |   106132 |   385983      0 |    19410 |    24183
459.42/459.51	c  452s |      15 |   136884 |   106532 |   385983      0 |    19410 |    24183
462.03/462.19	c  455s |      15 |   137340 |   106932 |   385983      0 |    19410 |    24183
464.32/464.42	c  457s |      15 |   137835 |   107332 |   385983      0 |    19410 |    24183
466.82/466.90	c  459s |      15 |   138342 |   107732 |   385983      0 |    19410 |    24183
469.02/469.19	c  462s |      15 |   138884 |   108132 |   385983      0 |    19410 |    24183
471.32/471.47	c  464s |      15 |   139448 |   108532 |   385983      0 |    19410 |    24183
473.62/473.72	c  466s |      15 |   139931 |   108932 |   385983      0 |    19410 |    24183
476.23/476.31	c  469s |      15 |   140555 |   109332 |   385983      0 |    19410 |    24183
478.53/478.65	c  471s |      15 |   140907 |   109632 |   385983      0 |    19410 |    24183
480.92/481.04	c  474s |      15 |   141286 |   109932 |   385983      0 |    19410 |    24183
483.12/483.29	c  476s |      15 |   141644 |   110232 |   385983      0 |    19410 |    24183
485.82/485.92	c  479s |      15 |   141981 |   110532 |   385983      0 |    19410 |    24183
488.32/488.45	c  481s |      15 |   142346 |   110832 |   385983      0 |    19410 |    24183
490.52/490.68	c  483s |      15 |   142712 |   111132 |   385983      0 |    19410 |    24183
492.82/492.97	c  486s |      15 |   143086 |   111432 |   385983      0 |    19410 |    24183
494.92/495.03	c  488s |      15 |   143602 |   111832 |   385983      0 |    19410 |    24183
497.42/497.53	c  490s |      15 |   144273 |   112332 |   385983      0 |    19410 |    24183
499.62/499.79	c  492s |      15 |   144979 |   112832 |   385983      0 |    19410 |    24183
501.91/502.00	c  495s |      15 |   145563 |   113332 |   385983      0 |    19410 |    24183
504.41/504.52	c  497s |      15 |   146133 |   113832 |   385983      0 |    19410 |    24183
506.71/506.88	c  499s |      15 |   146632 |   114232 |   385983      0 |    19410 |    24183
509.41/509.53	c  502s |      15 |   147136 |   114632 |   385983      0 |    19410 |    24183
511.52/511.66	c  504s |      15 |   147635 |   115032 |   385983      0 |    19410 |    24183
514.11/514.23	c  507s |      15 |   148147 |   115432 |   385983      0 |    19410 |    24183
516.41/516.52	c  509s |      15 |   148531 |   115732 |   385983      0 |    19410 |    24183
518.81/518.91	c  511s |      15 |   149101 |   116132 |   385983      0 |    19410 |    24183
520.91/521.03	c  514s |      15 |   149472 |   116432 |   385983      0 |    19410 |    24183
523.01/523.18	c  516s |      15 |   149829 |   116732 |   385983      0 |    19410 |    24183
525.82/525.92	c  519s |      15 |   150281 |   117132 |   385983      0 |    19410 |    24183
527.92/528.03	c  521s |      15 |   150673 |   117432 |   385983      0 |    19410 |    24183
530.01/530.18	c  523s |      15 |   151036 |   117732 |   385983      0 |    19410 |    24183
532.11/532.27	c  525s |      15 |   151400 |   118032 |   385983      0 |    19410 |    24183
534.11/534.28	c  527s |      15 |   151754 |   118332 |   385983      0 |    19410 |    24183
536.41/536.50	c  529s |      15 |   152105 |   118632 |   385983      0 |    19410 |    24183
538.71/538.86	c  531s |      15 |   152484 |   118932 |   385983      0 |    19410 |    24183
540.81/540.98	c  534s |      15 |   152837 |   119232 |   385983      0 |    19410 |    24183
542.81/542.99	c  536s |      15 |   153192 |   119532 |   385983      0 |    19410 |    24183
545.31/545.43	c  538s |      15 |   153681 |   119932 |   385983      0 |    19410 |    24183
547.71/547.84	c  540s |      15 |   154032 |   120232 |   385983      0 |    19410 |    24183
549.91/550.04	c  543s |      15 |   154390 |   120532 |   385983      0 |    19410 |    24183
552.11/552.27	c  545s |      15 |   154776 |   120832 |   385983      0 |    19410 |    24183
554.51/554.68	c  547s |      15 |   155141 |   121132 |   385983      0 |    19410 |    24183
556.81/556.96	c  550s |      15 |   155518 |   121432 |   385983      0 |    19410 |    24183
559.21/559.34	c  552s |      15 |   155907 |   121732 |   385983      0 |    19410 |    24183
561.81/561.98	c  555s |      15 |   156339 |   122032 |   385983      0 |    19410 |    24183
564.31/564.43	c  557s |      15 |   156732 |   122332 |   385983      0 |    19410 |    24183
566.60/566.79	c  559s |      15 |   157078 |   122632 |   385983      0 |    19410 |    24183
569.10/569.23	c  562s |      15 |   157405 |   122932 |   385983      0 |    19410 |    24183
571.40/571.52	c  564s |      15 |   157780 |   123232 |   385983      0 |    19410 |    24183
574.11/574.23	c  567s |      15 |   158161 |   123532 |   385983      0 |    19410 |    24183
576.40/576.52	c  569s |      15 |   158497 |   123832 |   385983      0 |    19410 |    24183
579.10/579.20	c  572s |      15 |   158841 |   124132 |   385983      0 |    19410 |    24183
581.70/581.87	c  574s |      15 |   159176 |   124432 |   385983      0 |    19410 |    24183
584.00/584.19	c  577s |      15 |   159570 |   124732 |   385983      0 |    19410 |    24183
586.49/586.62	c  579s |      15 |   159945 |   125032 |   385983      0 |    19410 |    24183
588.99/589.19	c  582s |      15 |   160326 |   125332 |   385983      0 |    19410 |    24183
591.19/591.39	c  584s |      15 |   160703 |   125632 |   385983      0 |    19410 |    24183
593.49/593.68	c  586s |      15 |   161066 |   125932 |   385983      0 |    19410 |    24183
595.68/595.81	c  588s |      15 |   161425 |   126232 |   385983      0 |    19410 |    24183
597.78/597.98	c  591s |      15 |   161811 |   126532 |   385983      0 |    19410 |    24183
600.18/600.37	c  593s |      15 |   162184 |   126832 |   385983      0 |    19410 |    24183
602.88/603.05	c  596s |      15 |   162567 |   127132 |   385983      0 |    19410 |    24183
605.67/605.84	c  598s |      15 |   162932 |   127432 |   385983      0 |    19410 |    24183
608.18/608.32	c  601s |      15 |   163295 |   127732 |   385983      0 |    19410 |    24183
610.77/610.94	c  604s |      15 |   163657 |   128032 |   385983      0 |    19410 |    24183
613.47/613.67	c  606s |      15 |   164011 |   128332 |   385983      0 |    19410 |    24183
616.07/616.24	c  609s |      15 |   164335 |   128632 |   385983      0 |    19410 |    24183
618.67/618.81	c  611s |      15 |   164691 |   128932 |   385983      0 |    19410 |    24183
621.07/621.23	c  614s |      15 |   165079 |   129232 |   385983      0 |    19410 |    24183
623.67/623.86	c  616s |      15 |   165471 |   129532 |   385983      0 |    19410 |    24183
625.96/626.16	c  619s |      15 |   165866 |   129832 |   385983      0 |    19410 |    24183
628.86/629.02	c  622s |      15 |   166442 |   130232 |   385983      0 |    19410 |    24183
631.06/631.25	c  624s |      15 |   166955 |   130632 |   385983      0 |    19410 |    24183
633.06/633.27	c  626s |      15 |   167447 |   131032 |   424582      0 |    19410 |    24183
635.26/635.41	c  628s |      15 |   168104 |   131532 |   424582      0 |    19410 |    24183
635.36/635.51	c  628s |      16 |   168120 |   131552 |   424582      0 |    19410 |    24183
637.76/637.90	c  630s |      16 |   168274 |   131652 |   424582      0 |    19410 |    24183
639.76/639.97	c  633s |      16 |   168763 |   132052 |   424582      0 |    19410 |    24183
642.06/642.26	c  635s |      16 |   169382 |   132552 |   424582      0 |    19410 |    24183
645.45/645.60	c  638s |      16 |   169830 |   132919 |   424582      0 |    19411 |    24184
645.45/645.60	c #cpu_time = 638.662s
645.45/645.60	c #wall_clock_time = 638.684s
645.45/645.60	c #decision = 169830
645.45/645.60	c #random_decision = 47
645.45/645.60	c #conflict = 132919
645.45/645.60	c #restart = 16
645.45/645.60	c BCD2: updating lower bound of a core
645.45/645.60	c lower bound updated to 97
645.45/645.60	c BCD2: 97 <= obj <= 299
645.45/645.60	c BCD2: #cores=1, #unrelaxed=95, #relaxed=204, #hardened=1
645.45/645.60	c BCD2: #sat=1 #unsat=3 bias=3/4
646.76/646.91	c Solving starts ...
646.76/646.91	c ============================[ Search Statistics ]============================
646.76/646.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
646.76/646.91	c       |         |          |          |    Limit     GC | Var      | Constra 
646.76/646.91	c =============================================================================
646.76/646.91	c  0.0s |       0 |        0 |        0 |   424582      0 |    19411 |    24184
648.96/649.18	c  2.3s |       0 |      233 |      100 |   424582      0 |    19411 |    24184
649.05/649.20	c  2.3s |       1 |      233 |      100 |   424582      0 |    19411 |    24184
651.16/651.33	c  4.4s |       1 |      409 |      200 |   424582      0 |    19411 |    24184
651.25/651.46	c  4.5s |       2 |      474 |      250 |   424582      0 |    19411 |    24184
653.36/653.56	c  6.7s |       2 |      684 |      350 |   424582      0 |    19411 |    24184
653.65/653.89	c  7.0s |       3 |      868 |      475 |   424582      0 |    19411 |    24184
655.85/656.00	c  9.1s |       3 |     1040 |      575 |   424582      0 |    19411 |    24184
656.55/656.77	c  9.9s |       4 |     1360 |      813 |   424582      0 |    19411 |    24184
658.65/658.89	c 12.0s |       4 |     1509 |      913 |   424582      0 |    19411 |    24184
659.85/660.01	c 13.1s |       5 |     2032 |     1320 |   424582      0 |    19411 |    24184
661.95/662.20	c 15.3s |       5 |     2186 |     1420 |   424582      0 |    19411 |    24184
664.05/664.29	c 17.4s |       5 |     2854 |     1920 |   424582      0 |    19411 |    24184
664.55/664.77	c 17.9s |       6 |     3133 |     2081 |   424582      0 |    19411 |    24184
666.74/666.92	c 20.0s |       6 |     3311 |     2181 |   424582      0 |    19411 |    24184
669.14/669.36	c 22.5s |       6 |     4291 |     2881 |   424582      0 |    19411 |    24184
671.14/671.31	c 24.4s |       7 |     4758 |     3223 |   424582      0 |    19411 |    24184
673.24/673.43	c 26.5s |       7 |     4956 |     3323 |   424582      0 |    19411 |    24184
675.35/675.55	c 28.6s |       7 |     5816 |     3923 |   424582      0 |    19411 |    24184
677.55/677.74	c 30.8s |       7 |     6694 |     4623 |   424582      0 |    19411 |    24184
678.44/678.64	c 31.7s |       8 |     7078 |     4936 |   424582      0 |    19411 |    24184
680.75/680.97	c 34.1s |       8 |     7282 |     5036 |   424582      0 |    19411 |    24184
683.14/683.36	c 36.4s |       8 |     7981 |     5536 |   424582      0 |    19411 |    24184
685.54/685.75	c 38.8s |       8 |     8662 |     6036 |   424582      0 |    19411 |    24184
687.84/688.07	c 41.2s |       8 |     9350 |     6536 |   424582      0 |    19411 |    24184
690.34/690.52	c 43.6s |       8 |    10081 |     7136 |   424582      0 |    19411 |    24184
691.64/691.81	c 44.9s |       9 |    10559 |     7506 |   424582      0 |    19411 |    24184
694.04/694.23	c 47.3s |       9 |    10723 |     7606 |   424582      0 |    19411 |    24184
696.34/696.53	c 49.6s |       9 |    11395 |     8106 |   424582      0 |    19411 |    24184
698.73/698.91	c 52.0s |       9 |    11933 |     8506 |   424582      0 |    19411 |    24184
701.13/701.34	c 54.4s |       9 |    12581 |     9006 |   424582      0 |    19411 |    24184
703.33/703.58	c 56.7s |       9 |    13210 |     9506 |   424582      0 |    19411 |    24184
705.53/705.78	c 58.9s |       9 |    13859 |    10006 |   424582      0 |    19411 |    24184
707.73/707.91	c 61.0s |       9 |    14467 |    10506 |   424582      0 |    19411 |    24184
710.13/710.31	c 63.4s |       9 |    15111 |    11006 |   424582      0 |    19411 |    24184
711.54/711.78	c 64.9s |      10 |    15561 |    11361 |   424582      0 |    19411 |    24184
713.93/714.15	c 67.2s |      10 |    15718 |    11461 |   424582      0 |    19411 |    24184
716.43/716.60	c 69.7s |      10 |    16258 |    11861 |   424582      0 |    19411 |    24184
718.43/718.66	c 71.7s |      10 |    16662 |    12161 |   424582      0 |    19411 |    24184
720.93/721.13	c 74.2s |      10 |    17152 |    12561 |   424582      0 |    19411 |    24184
723.23/723.42	c 76.5s |      10 |    17776 |    13061 |   424582      0 |    19411 |    24184
725.32/725.54	c 78.6s |      10 |    18306 |    13461 |   424582      0 |    19411 |    24184
727.52/727.75	c 80.8s |      10 |    18976 |    13961 |   424582      0 |    19411 |    24184
729.82/730.09	c 83.2s |      10 |    19744 |    14561 |   424582      0 |    19411 |    24184
731.92/732.11	c 85.2s |      10 |    20512 |    15161 |   424582      0 |    19411 |    24184
734.32/734.52	c 87.6s |      10 |    21050 |    15561 |   424582      0 |    19411 |    24184
736.61/736.88	c 90.0s |      10 |    21430 |    15861 |   424582      0 |    19411 |    24184
739.21/739.49	c 92.6s |      10 |    21805 |    16161 |   424582      0 |    19411 |    24184
741.22/741.50	c 94.6s |      10 |    22140 |    16461 |   424582      0 |    19411 |    24184
743.71/743.97	c 97.1s |      10 |    22629 |    16861 |   424582      0 |    19411 |    24184
745.72/745.96	c 99.1s |      11 |    23027 |    17144 |   424582      0 |    19411 |    24184
748.31/748.51	c  101s |      11 |    23180 |    17244 |   424582      0 |    19411 |    24184
750.81/751.02	c  104s |      11 |    23720 |    17644 |   424582      0 |    19411 |    24184
752.81/753.07	c  106s |      11 |    24098 |    17944 |   424582      0 |    19411 |    24184
755.21/755.44	c  108s |      11 |    24642 |    18344 |   424582      0 |    19411 |    24184
757.40/757.67	c  110s |      11 |    24994 |    18644 |   424582      0 |    19411 |    24184
759.70/759.97	c  113s |      11 |    25510 |    19044 |   424582      0 |    19411 |    24184
761.80/762.09	c  115s |      11 |    25875 |    19344 |   424582      0 |    19411 |    24184
763.90/764.10	c  117s |      11 |    26308 |    19644 |   424582      0 |    19411 |    24184
766.20/766.43	c  119s |      11 |    26991 |    20144 |   424582      0 |    19411 |    24184
768.50/768.71	c  121s |      11 |    27606 |    20644 |   424582      0 |    19411 |    24184
770.70/770.94	c  124s |      11 |    28241 |    21144 |   424582      0 |    19411 |    24184
773.00/773.21	c  126s |      11 |    28821 |    21644 |   424582      0 |    19411 |    24184
775.50/775.79	c  128s |      11 |    29383 |    22044 |   424582      0 |    19411 |    24184
777.89/778.10	c  131s |      11 |    29882 |    22444 |   424582      0 |    19411 |    24184
779.99/780.30	c  133s |      11 |    30392 |    22844 |   424582      0 |    19411 |    24184
782.29/782.52	c  135s |      11 |    31006 |    23344 |   424582      0 |    19411 |    24184
784.29/784.52	c  137s |      11 |    31555 |    23744 |   424582      0 |    19411 |    24184
786.49/786.77	c  139s |      11 |    32175 |    24244 |   424582      0 |    19411 |    24184
788.79/789.05	c  142s |      11 |    32767 |    24744 |   424582      0 |    19411 |    24184
791.39/791.61	c  144s |      11 |    33391 |    25244 |   424582      0 |    19411 |    24184
793.49/793.74	c  146s |      11 |    33997 |    25744 |   424582      0 |    19411 |    24184
793.79/794.09	c  147s |      12 |    34087 |    25819 |   424582      0 |    19411 |    24184
796.59/796.82	c  149s |      12 |    34229 |    25919 |   424582      0 |    19411 |    24184
798.69/798.95	c  152s |      12 |    34821 |    26319 |   424582      0 |    19411 |    24184
800.89/801.16	c  154s |      12 |    35344 |    26719 |   424582      0 |    19411 |    24184
803.39/803.61	c  156s |      12 |    35863 |    27119 |   424582      0 |    19411 |    24184
805.68/805.97	c  159s |      12 |    36323 |    27519 |   424582      0 |    19411 |    24184
807.98/808.21	c  161s |      12 |    36833 |    27919 |   424582      0 |    19411 |    24184
810.28/810.54	c  163s |      12 |    37337 |    28319 |   424582      0 |    19411 |    24184
812.48/812.78	c  165s |      12 |    37816 |    28719 |   424582      0 |    19411 |    24184
815.08/815.34	c  168s |      12 |    38292 |    29119 |   424582      0 |    19411 |    24184
817.58/817.80	c  170s |      12 |    38825 |    29519 |   424582      0 |    19411 |    24184
819.98/820.27	c  173s |      12 |    39325 |    29919 |   424582      0 |    19411 |    24184
822.48/822.73	c  175s |      12 |    39812 |    30319 |   424582      0 |    19411 |    24184
824.97/825.28	c  178s |      12 |    40285 |    30719 |   424582      0 |    19411 |    24184
827.08/827.35	c  180s |      12 |    40635 |    31019 |   424582      0 |    19411 |    24184
829.37/829.63	c  182s |      12 |    41176 |    31419 |   424582      0 |    19411 |    24184
831.48/831.76	c  184s |      12 |    41687 |    31819 |   424582      0 |    19411 |    24184
834.07/834.34	c  187s |      12 |    42154 |    32219 |   424582      0 |    19411 |    24184
836.36/836.69	c  189s |      12 |    42710 |    32619 |   424582      0 |    19411 |    24184
838.56/838.86	c  191s |      12 |    43069 |    32919 |   424582      0 |    19411 |    24184
840.76/841.03	c  194s |      12 |    43478 |    33219 |   424582      0 |    19411 |    24184
843.16/843.47	c  196s |      12 |    43989 |    33619 |   424582      0 |    19411 |    24184
845.46/845.74	c  198s |      12 |    44362 |    33919 |   424582      0 |    19411 |    24184
847.66/847.96	c  201s |      12 |    44757 |    34219 |   424582      0 |    19411 |    24184
850.36/850.62	c  203s |      12 |    45308 |    34619 |   424582      0 |    19411 |    24184
852.86/853.18	c  206s |      12 |    45814 |    35019 |   424582      0 |    19411 |    24184
854.95/855.23	c  208s |      12 |    46209 |    35319 |   424582      0 |    19411 |    24184
857.35/857.68	c  210s |      12 |    46575 |    35619 |   424582      0 |    19411 |    24184
859.45/859.75	c  212s |      12 |    47016 |    35919 |   424582      0 |    19411 |    24184
861.75/862.00	c  215s |      12 |    47387 |    36219 |   424582      0 |    19411 |    24184
863.75/864.04	c  217s |      12 |    47775 |    36519 |   424582      0 |    19411 |    24184
865.95/866.26	c  219s |      12 |    48188 |    36819 |   424582      0 |    19411 |    24184
868.35/868.67	c  221s |      12 |    48547 |    37119 |   424582      0 |    19411 |    24184
870.55/870.87	c  223s |      12 |    48907 |    37419 |   424582      0 |    19411 |    24184
873.05/873.31	c  226s |      12 |    49441 |    37819 |   424582      0 |    19411 |    24184
875.04/875.39	c  228s |      12 |    49809 |    38119 |   424582      0 |    19411 |    24184
877.44/877.77	c  230s |      12 |    50238 |    38419 |   424582      0 |    19411 |    24184
879.85/880.16	c  233s |      12 |    50650 |    38719 |   424582      0 |    19411 |    24184
880.64/880.91	c  233s |      13 |    50798 |    38832 |   424582      0 |    19411 |    24184
883.44/883.78	c  236s |      13 |    50979 |    38932 |   424582      0 |    19411 |    24184
885.94/886.21	c  239s |      13 |    51529 |    39332 |   424582      0 |    19411 |    24184
888.14/888.44	c  241s |      13 |    52427 |    40032 |   424582      0 |    19411 |    24184
890.24/890.50	c  243s |      13 |    53246 |    40732 |   424582      0 |    19411 |    24184
892.34/892.69	c  245s |      13 |    54124 |    41432 |   424582      0 |    19411 |    24184
894.44/894.79	c  247s |      13 |    54907 |    42032 |   424582      0 |    19411 |    24184
896.53/896.87	c  249s |      13 |    55512 |    42532 |   424582      0 |    19411 |    24184
899.03/899.36	c  252s |      13 |    56246 |    43132 |   424582      0 |    19411 |    24184
901.43/901.77	c  254s |      13 |    56891 |    43632 |   424582      0 |    19411 |    24184
903.94/904.26	c  257s |      13 |    57673 |    44232 |   424582      0 |    19411 |    24184
906.03/906.36	c  259s |      13 |    58367 |    44832 |   424582      0 |    19411 |    24184
908.43/908.73	c  261s |      13 |    59155 |    45432 |   424582      0 |    19411 |    24184
910.93/911.22	c  264s |      13 |    59703 |    45832 |   424582      0 |    19411 |    24184
913.23/913.55	c  266s |      13 |    60543 |    46532 |   424582      0 |    19411 |    24184
915.53/915.87	c  268s |      13 |    61214 |    47132 |   424582      0 |    19411 |    24184
917.63/917.93	c  271s |      13 |    61788 |    47632 |   424582      0 |    19411 |    24184
919.73/920.08	c  273s |      13 |    62754 |    48332 |   424582      0 |    19411 |    24184
922.03/922.38	c  275s |      13 |    63811 |    49232 |   424582      0 |    19411 |    24184
924.23/924.53	c  277s |      13 |    64550 |    49832 |   424582      0 |    19411 |    24184
926.52/926.86	c  279s |      13 |    65419 |    50532 |   424582      0 |    19411 |    24184
928.72/929.05	c  282s |      13 |    66129 |    51132 |   424582      0 |    19411 |    24184
931.02/931.37	c  284s |      13 |    66829 |    51732 |   424582      0 |    19411 |    24184
933.32/933.65	c  286s |      13 |    67430 |    52232 |   424582      0 |    19411 |    24184
935.52/935.81	c  288s |      13 |    68009 |    52732 |   424582      0 |    19411 |    24184
937.62/937.92	c  291s |      13 |    68700 |    53332 |   424582      0 |    19411 |    24184
939.72/940.04	c  293s |      13 |    69341 |    53832 |   424582      0 |    19411 |    24184
942.12/942.46	c  295s |      13 |    70031 |    54432 |   424582      0 |    19411 |    24184
944.32/944.64	c  297s |      13 |    70683 |    54932 |   424582      0 |    19411 |    24184
946.71/947.04	c  300s |      13 |    71318 |    55432 |   424582      0 |    19411 |    24184
948.91/949.24	c  302s |      13 |    71797 |    55832 |   424582      0 |    19411 |    24184
951.01/951.35	c  304s |      13 |    72322 |    56232 |   424582      0 |    19411 |    24184
953.11/953.44	c  306s |      13 |    72816 |    56632 |   424582      0 |    19411 |    24184
955.72/956.09	c  309s |      13 |    73306 |    57032 |   424582      0 |    19411 |    24184
958.01/958.37	c  311s |      13 |    73797 |    57432 |   424582      0 |    19411 |    24184
960.12/960.45	c  313s |      13 |    74169 |    57732 |   424582      0 |    19411 |    24184
962.81/963.17	c  316s |      13 |    74676 |    58132 |   424582      0 |    19411 |    24184
964.01/964.31	c  317s |      14 |    74938 |    58352 |   424582      0 |    19411 |    24184
966.81/967.10	c  320s |      14 |    75092 |    58452 |   424582      0 |    19411 |    24184
969.31/969.61	c  322s |      14 |    75936 |    59052 |   424582      0 |    19411 |    24184
971.81/972.18	c  325s |      14 |    76485 |    59452 |   424582      0 |    19411 |    24184
974.10/974.48	c  327s |      14 |    77007 |    59852 |   424582      0 |    19411 |    24184
976.80/977.17	c  330s |      14 |    77525 |    60252 |   424582      0 |    19411 |    24184
978.90/979.29	c  332s |      14 |    77942 |    60552 |   424582      0 |    19411 |    24184
980.91/981.30	c  334s |      14 |    78341 |    60852 |   424582      0 |    19411 |    24184
983.60/983.96	c  337s |      14 |    78868 |    61252 |   424582      0 |    19411 |    24184
985.90/986.24	c  339s |      14 |    79300 |    61552 |   424582      0 |    19411 |    24184
988.49/988.80	c  341s |      14 |    79653 |    61852 |   424582      0 |    19411 |    24184
990.59/990.93	c  344s |      14 |    80094 |    62152 |   424582      0 |    19411 |    24184
993.10/993.41	c  346s |      14 |    80465 |    62452 |   424582      0 |    19411 |    24184
995.59/995.90	c  348s |      14 |    80955 |    62852 |   424582      0 |    19411 |    24184
997.69/998.03	c  351s |      14 |    81310 |    63152 |   467041      0 |    19411 |    24184
999.89/1000.26	c  353s |      14 |    81702 |    63452 |   467041      0 |    19411 |    24184
1002.29/1002.66	c  355s |      14 |    82113 |    63752 |   467041      0 |    19411 |    24184
1004.49/1004.83	c  357s |      14 |    82493 |    64052 |   467041      0 |    19411 |    24184
1006.59/1006.90	c  359s |      14 |    82851 |    64352 |   467041      0 |    19411 |    24184
1008.59/1008.93	c  362s |      14 |    83268 |    64652 |   467041      0 |    19411 |    24184
1010.99/1011.30	c  364s |      14 |    83780 |    65052 |   467041      0 |    19411 |    24184
1013.29/1013.66	c  366s |      14 |    84297 |    65452 |   467041      0 |    19411 |    24184
1015.68/1016.07	c  369s |      14 |    84759 |    65852 |   467041      0 |    19411 |    24184
1018.08/1018.42	c  371s |      14 |    85307 |    66252 |   467041      0 |    19411 |    24184
1020.68/1021.09	c  374s |      14 |    85794 |    66652 |   467041      0 |    19411 |    24184
1023.18/1023.58	c  376s |      14 |    86309 |    67052 |   467041      0 |    19411 |    24184
1025.18/1025.58	c  378s |      14 |    86838 |    67452 |   467041      0 |    19411 |    24184
1027.38/1027.72	c  380s |      14 |    87304 |    67852 |   467041      0 |    19411 |    24184
1029.58/1029.90	c  382s |      14 |    87793 |    68252 |   467041      0 |    19411 |    24184
1032.08/1032.45	c  385s |      14 |    88323 |    68652 |   467041      0 |    19411 |    24184
1034.68/1035.08	c  388s |      14 |    88831 |    69052 |   467041      0 |    19411 |    24184
1036.88/1037.27	c  390s |      14 |    89193 |    69352 |   467041      0 |    19411 |    24184
1038.98/1039.36	c  392s |      14 |    89579 |    69652 |   467041      0 |    19411 |    24184
1041.28/1041.63	c  394s |      14 |    90006 |    69952 |   467041      0 |    19411 |    24184
1043.58/1043.97	c  397s |      14 |    90529 |    70352 |   467041      0 |    19411 |    24184
1046.17/1046.56	c  399s |      14 |    91087 |    70752 |   467041      0 |    19411 |    24184
1048.57/1048.98	c  402s |      14 |    91588 |    71152 |   467041      0 |    19411 |    24184
1050.57/1050.99	c  404s |      14 |    91988 |    71452 |   467041      0 |    19411 |    24184
1052.67/1053.03	c  406s |      14 |    92409 |    71752 |   467041      0 |    19411 |    24184
1055.07/1055.48	c  408s |      14 |    92937 |    72152 |   467041      0 |    19411 |    24184
1057.67/1058.09	c  411s |      14 |    93449 |    72552 |   467041      0 |    19411 |    24184
1060.37/1060.72	c  413s |      14 |    93945 |    72952 |   467041      0 |    19411 |    24184
1062.38/1062.78	c  415s |      14 |    94349 |    73252 |   467041      0 |    19411 |    24184
1064.67/1065.04	c  418s |      14 |    94735 |    73552 |   467041      0 |    19411 |    24184
1066.78/1067.18	c  420s |      14 |    95138 |    73852 |   467041      0 |    19411 |    24184
1069.57/1069.93	c  423s |      14 |    95675 |    74252 |   467041      0 |    19411 |    24184
1072.17/1072.51	c  425s |      14 |    96180 |    74652 |   467041      0 |    19411 |    24184
1074.67/1075.02	c  428s |      14 |    96699 |    75052 |   467041      0 |    19411 |    24184
1076.76/1077.13	c  430s |      14 |    97069 |    75352 |   467041      0 |    19411 |    24184
1079.26/1079.63	c  432s |      14 |    97609 |    75752 |   467041      0 |    19411 |    24184
1081.26/1081.65	c  434s |      14 |    97964 |    76052 |   467041      0 |    19411 |    24184
1083.46/1083.80	c  436s |      14 |    98318 |    76352 |   467041      0 |    19411 |    24184
1085.47/1085.88	c  438s |      14 |    98687 |    76652 |   467041      0 |    19411 |    24184
1087.96/1088.32	c  441s |      14 |    99201 |    77052 |   467041      0 |    19411 |    24184
1090.06/1090.41	c  443s |      14 |    99581 |    77352 |   467041      0 |    19411 |    24184
1092.56/1092.99	c  446s |      14 |   100079 |    77752 |   467041      0 |    19411 |    24184
1095.05/1095.44	c  448s |      14 |   100590 |    78152 |   467041      0 |    19411 |    24184
1097.46/1097.89	c  450s |      14 |   101086 |    78552 |   467041      0 |    19411 |    24184
1099.76/1100.16	c  453s |      14 |   101426 |    78852 |   467041      0 |    19411 |    24184
1102.45/1102.81	c  455s |      14 |   101900 |    79252 |   467041      0 |    19411 |    24184
1105.26/1105.66	c  458s |      14 |   102438 |    79652 |   467041      0 |    19411 |    24184
1107.95/1108.35	c  461s |      14 |   102803 |    79952 |   467041      0 |    19411 |    24184
1110.05/1110.46	c  463s |      14 |   103171 |    80252 |   467041      0 |    19411 |    24184
1112.75/1113.10	c  466s |      14 |   103640 |    80652 |   467041      0 |    19411 |    24184
1114.85/1115.20	c  468s |      14 |   104018 |    80952 |   467041      0 |    19411 |    24184
1117.54/1117.96	c  471s |      14 |   104500 |    81352 |   467041      0 |    19411 |    24184
1119.94/1120.35	c  473s |      14 |   104922 |    81652 |   467041      0 |    19411 |    24184
1122.24/1122.63	c  475s |      14 |   105352 |    81952 |   467041      0 |    19411 |    24184
1124.94/1125.31	c  478s |      14 |   105867 |    82352 |   467041      0 |    19411 |    24184
1127.14/1127.57	c  480s |      14 |   106240 |    82652 |   467041      0 |    19411 |    24184
1129.14/1129.58	c  482s |      14 |   106633 |    82952 |   467041      0 |    19411 |    24184
1131.54/1131.94	c  485s |      14 |   107137 |    83352 |   467041      0 |    19411 |    24184
1134.34/1134.70	c  487s |      14 |   107612 |    83752 |   467041      0 |    19411 |    24184
1136.83/1137.27	c  490s |      14 |   108129 |    84152 |   467041      0 |    19411 |    24184
1139.43/1139.87	c  492s |      14 |   108629 |    84552 |   467041      0 |    19411 |    24184
1141.83/1142.24	c  495s |      14 |   109170 |    84952 |   467041      0 |    19411 |    24184
1143.93/1144.34	c  497s |      14 |   109652 |    85352 |   467041      0 |    19411 |    24184
1146.03/1146.45	c  499s |      14 |   110000 |    85652 |   467041      0 |    19411 |    24184
1148.63/1149.08	c  502s |      14 |   110504 |    86052 |   467041      0 |    19411 |    24184
1150.73/1151.12	c  504s |      14 |   110904 |    86352 |   467041      0 |    19411 |    24184
1152.72/1153.13	c  506s |      14 |   111271 |    86652 |   467041      0 |    19411 |    24184
1154.73/1155.19	c  508s |      14 |   111637 |    86952 |   467041      0 |    19411 |    24184
1156.93/1157.37	c  510s |      14 |   112014 |    87252 |   467041      0 |    19411 |    24184
1159.03/1159.46	c  512s |      14 |   112439 |    87552 |   467041      0 |    19411 |    24184
1159.52/1159.96	c  513s |      15 |   112539 |    87632 |   467041      0 |    19411 |    24184
1162.92/1163.36	c  516s |      15 |   112756 |    87732 |   467041      0 |    19411 |    24184
1165.31/1165.76	c  518s |      15 |   113269 |    88132 |   467041      0 |    19411 |    24184
1167.82/1168.23	c  521s |      15 |   113774 |    88532 |   467041      0 |    19411 |    24184
1170.02/1170.46	c  523s |      15 |   114308 |    88932 |   467041      0 |    19411 |    24184
1172.51/1172.92	c  526s |      15 |   114812 |    89332 |   467041      0 |    19411 |    24184
1174.61/1175.08	c  528s |      15 |   115311 |    89732 |   467041      0 |    19411 |    24184
1177.11/1177.51	c  530s |      15 |   115786 |    90132 |   467041      0 |    19411 |    24184
1179.51/1179.99	c  533s |      15 |   116314 |    90532 |   467041      0 |    19411 |    24184
1181.91/1182.31	c  535s |      15 |   116794 |    90932 |   467041      0 |    19411 |    24184
1184.21/1184.61	c  537s |      15 |   117261 |    91332 |   467041      0 |    19411 |    24184
1186.40/1186.90	c  539s |      15 |   117738 |    91732 |   467041      0 |    19411 |    24184
1188.91/1189.34	c  542s |      15 |   118348 |    92232 |   467041      0 |    19411 |    24184
1191.01/1191.44	c  544s |      15 |   118840 |    92632 |   467041      0 |    19411 |    24184
1193.50/1193.93	c  547s |      15 |   119416 |    93132 |   467041      0 |    19411 |    24184
1195.80/1196.27	c  549s |      15 |   119917 |    93532 |   467041      0 |    19411 |    24184
1198.10/1198.57	c  551s |      15 |   120380 |    93932 |   467041      0 |    19411 |    24184
1200.50/1200.94	c  554s |      15 |   120892 |    94332 |   467041      0 |    19411 |    24184
1203.01/1203.49	c  556s |      15 |   121416 |    94732 |   467041      0 |    19411 |    24184
1205.40/1205.85	c  558s |      15 |   121919 |    95132 |   467041      0 |    19411 |    24184
1207.50/1207.96	c  561s |      15 |   122380 |    95532 |   467041      0 |    19411 |    24184
1209.90/1210.38	c  563s |      15 |   122830 |    95932 |   467041      0 |    19411 |    24184
1212.19/1212.69	c  565s |      15 |   123354 |    96332 |   467041      0 |    19411 |    24184
1214.39/1214.84	c  567s |      15 |   123905 |    96732 |   467041      0 |    19411 |    24184
1216.59/1217.03	c  570s |      15 |   124418 |    97132 |   467041      0 |    19411 |    24184
1218.69/1219.18	c  572s |      15 |   125090 |    97632 |   467041      0 |    19411 |    24184
1221.49/1221.92	c  575s |      15 |   125623 |    98032 |   467041      0 |    19411 |    24184
1223.49/1223.92	c  577s |      15 |   125992 |    98332 |   467041      0 |    19411 |    24184
1226.09/1226.54	c  579s |      15 |   126455 |    98732 |   467041      0 |    19411 |    24184
1228.39/1228.88	c  581s |      15 |   126965 |    99132 |   467041      0 |    19411 |    24184
1231.08/1231.60	c  584s |      15 |   127458 |    99532 |   467041      0 |    19411 |    24184
1233.28/1233.79	c  586s |      15 |   127795 |    99832 |   467041      0 |    19411 |    24184
1235.38/1235.81	c  588s |      15 |   128134 |   100132 |   467041      0 |    19411 |    24184
1237.38/1237.86	c  590s |      15 |   128479 |   100432 |   467041      0 |    19411 |    24184
1239.87/1240.38	c  593s |      15 |   128846 |   100732 |   467041      0 |    19411 |    24184
1241.97/1242.44	c  595s |      15 |   129204 |   101032 |   467041      0 |    19411 |    24184
1243.97/1244.48	c  597s |      15 |   129537 |   101332 |   467041      0 |    19411 |    24184
1246.37/1246.88	c  599s |      15 |   130040 |   101732 |   467041      0 |    19411 |    24184
1248.47/1248.97	c  602s |      15 |   130521 |   102132 |   467041      0 |    19411 |    24184
1250.77/1251.24	c  604s |      15 |   131118 |   102632 |   467041      0 |    19411 |    24184
1252.77/1253.27	c  606s |      15 |   131594 |   103032 |   467041      0 |    19411 |    24184
1255.27/1255.73	c  608s |      15 |   132190 |   103532 |   467041      0 |    19411 |    24184
1257.37/1257.85	c  610s |      15 |   132667 |   103932 |   467041      0 |    19411 |    24184
1259.47/1259.95	c  613s |      15 |   133162 |   104332 |   467041      0 |    19411 |    24184
1261.87/1262.33	c  615s |      15 |   133758 |   104832 |   467041      0 |    19411 |    24184
1263.87/1264.34	c  617s |      15 |   134253 |   105232 |   467041      0 |    19411 |    24184
1266.07/1266.58	c  619s |      15 |   134780 |   105632 |   467041      0 |    19411 |    24184
1268.27/1268.70	c  621s |      15 |   135245 |   106032 |   467041      0 |    19411 |    24184
1270.87/1271.33	c  624s |      15 |   135698 |   106432 |   467041      0 |    19411 |    24184
1273.38/1273.86	c  626s |      15 |   136181 |   106832 |   467041      0 |    19411 |    24184
1275.97/1276.44	c  629s |      15 |   136630 |   107232 |   467041      0 |    19411 |    24184
1278.57/1279.07	c  632s |      15 |   137158 |   107632 |   467041      0 |    19411 |    24184
1280.97/1281.44	c  634s |      15 |   137665 |   108032 |   467041      0 |    19411 |    24184
1283.47/1283.95	c  637s |      15 |   138164 |   108432 |   467041      0 |    19411 |    24184
1285.47/1285.97	c  639s |      15 |   138568 |   108732 |   467041      0 |    19411 |    24184
1287.96/1288.42	c  641s |      15 |   139092 |   109132 |   467041      0 |    19411 |    24184
1290.46/1290.90	c  643s |      15 |   139614 |   109532 |   467041      0 |    19411 |    24184
1292.66/1293.15	c  646s |      15 |   140161 |   109932 |   467041      0 |    19411 |    24184
1294.95/1295.46	c  648s |      15 |   140654 |   110332 |   467041      0 |    19411 |    24184
1297.45/1297.93	c  651s |      15 |   141125 |   110732 |   467041      0 |    19411 |    24184
1300.05/1300.56	c  653s |      15 |   141594 |   111132 |   467041      0 |    19411 |    24184
1302.06/1302.57	c  655s |      15 |   141951 |   111432 |   467041      0 |    19411 |    24184
1304.65/1305.15	c  658s |      15 |   142498 |   111832 |   467041      0 |    19411 |    24184
1307.05/1307.55	c  660s |      15 |   143025 |   112232 |   467041      0 |    19411 |    24184
1309.25/1309.79	c  662s |      15 |   143419 |   112532 |   467041      0 |    19411 |    24184
1311.45/1311.94	c  665s |      15 |   143772 |   112832 |   467041      0 |    19411 |    24184
1313.65/1314.12	c  667s |      15 |   144125 |   113132 |   467041      0 |    19411 |    24184
1315.65/1316.15	c  669s |      15 |   144532 |   113432 |   467041      0 |    19411 |    24184
1318.05/1318.52	c  671s |      15 |   145080 |   113832 |   467041      0 |    19411 |    24184
1320.75/1321.27	c  674s |      15 |   145605 |   114232 |   467041      0 |    19411 |    24184
1322.85/1323.39	c  676s |      15 |   145977 |   114532 |   467041      0 |    19411 |    24184
1324.95/1325.41	c  678s |      15 |   146345 |   114832 |   467041      0 |    19411 |    24184
1327.45/1327.93	c  681s |      15 |   146863 |   115232 |   467041      0 |    19411 |    24184
1329.94/1330.46	c  683s |      15 |   147374 |   115632 |   467041      0 |    19411 |    24184
1332.04/1332.53	c  685s |      15 |   147761 |   115932 |   467041      0 |    19411 |    24184
1334.74/1335.21	c  688s |      15 |   148235 |   116332 |   467041      0 |    19411 |    24184
1337.25/1337.71	c  690s |      15 |   148752 |   116732 |   467041      0 |    19411 |    24184
1339.64/1340.18	c  693s |      15 |   149254 |   117132 |   467041      0 |    19411 |    24184
1341.74/1342.28	c  695s |      15 |   149624 |   117432 |   467041      0 |    19411 |    24184
1344.44/1344.96	c  698s |      15 |   150157 |   117832 |   467041      0 |    19411 |    24184
1347.05/1347.54	c  700s |      15 |   150703 |   118232 |   467041      0 |    19411 |    24184
1349.74/1350.22	c  703s |      15 |   151216 |   118632 |   467041      0 |    19411 |    24184
1352.04/1352.56	c  705s |      15 |   151741 |   119032 |   467041      0 |    19411 |    24184
1354.54/1355.08	c  708s |      15 |   152235 |   119432 |   467041      0 |    19411 |    24184
1357.14/1357.68	c  710s |      15 |   152720 |   119832 |   467041      0 |    19411 |    24184
1359.74/1360.21	c  713s |      15 |   153233 |   120232 |   467041      0 |    19411 |    24184
1362.14/1362.67	c  715s |      15 |   153758 |   120632 |   467041      0 |    19411 |    24184
1364.54/1365.06	c  718s |      15 |   154119 |   120932 |   467041      0 |    19411 |    24184
1367.04/1367.56	c  720s |      15 |   154661 |   121332 |   467041      0 |    19411 |    24184
1369.04/1369.60	c  722s |      15 |   155048 |   121632 |   467041      0 |    19411 |    24184
1371.14/1371.70	c  724s |      15 |   155411 |   121932 |   467041      0 |    19411 |    24184
1373.34/1373.86	c  726s |      15 |   155748 |   122232 |   467041      0 |    19411 |    24184
1375.83/1376.37	c  729s |      15 |   156240 |   122632 |   467041      0 |    19411 |    24184
1378.63/1379.17	c  732s |      15 |   156752 |   123032 |   467041      0 |    19411 |    24184
1380.83/1381.34	c  734s |      15 |   157110 |   123332 |   467041      0 |    19411 |    24184
1383.13/1383.64	c  736s |      15 |   157499 |   123632 |   467041      0 |    19411 |    24184
1385.43/1385.96	c  739s |      15 |   157839 |   123932 |   467041      0 |    19411 |    24184
1387.63/1388.17	c  741s |      15 |   158242 |   124232 |   467041      0 |    19411 |    24184
1389.94/1390.50	c  743s |      15 |   158629 |   124532 |   467041      0 |    19411 |    24184
1392.33/1392.82	c  745s |      15 |   158997 |   124832 |   467041      0 |    19411 |    24184
1394.53/1395.08	c  748s |      15 |   159382 |   125132 |   467041      0 |    19411 |    24184
1396.63/1397.16	c  750s |      15 |   159748 |   125432 |   467041      0 |    19411 |    24184
1398.73/1399.23	c  752s |      15 |   160129 |   125732 |   467041      0 |    19411 |    24184
1401.13/1401.63	c  754s |      15 |   160524 |   126032 |   467041      0 |    19411 |    24184
1403.43/1403.93	c  757s |      15 |   160879 |   126332 |   467041      0 |    19411 |    24184
1405.53/1406.01	c  759s |      15 |   161231 |   126632 |   467041      0 |    19411 |    24184
1407.63/1408.11	c  761s |      15 |   161592 |   126932 |   467041      0 |    19411 |    24184
1409.63/1410.15	c  763s |      15 |   161936 |   127232 |   467041      0 |    19411 |    24184
1411.63/1412.16	c  765s |      15 |   162300 |   127532 |   467041      0 |    19411 |    24184
1414.33/1414.84	c  767s |      15 |   162809 |   127932 |   467041      0 |    19411 |    24184
1416.72/1417.26	c  770s |      15 |   163148 |   128232 |   467041      0 |    19411 |    24184
1419.12/1419.66	c  772s |      15 |   163502 |   128532 |   467041      0 |    19411 |    24184
1421.72/1422.22	c  775s |      15 |   163849 |   128832 |   467041      0 |    19411 |    24184
1424.42/1424.99	c  778s |      15 |   164315 |   129232 |   467041      0 |    19411 |    24184
1426.52/1427.08	c  780s |      15 |   164679 |   129532 |   467041      0 |    19411 |    24184
1428.82/1429.33	c  782s |      15 |   165022 |   129832 |   467041      0 |    19411 |    24184
1431.22/1431.70	c  784s |      15 |   165382 |   130132 |   467041      0 |    19411 |    24184
1433.82/1434.33	c  787s |      15 |   165884 |   130532 |   467041      0 |    19411 |    24184
1435.92/1436.40	c  789s |      15 |   166241 |   130832 |   467041      0 |    19411 |    24184
1438.33/1438.81	c  791s |      15 |   166599 |   131132 |   467041      0 |    19411 |    24184
1440.92/1441.40	c  794s |      15 |   166926 |   131432 |   467041      0 |    19411 |    24184
1441.73/1442.21	c  795s |      16 |   167101 |   131552 |   467041      0 |    19411 |    24184
1445.62/1446.15	c  799s |      16 |   167273 |   131652 |   467041      0 |    19411 |    24184
1448.12/1448.65	c  801s |      16 |   167681 |   131952 |   467041      0 |    19411 |    24184
1450.72/1451.29	c  804s |      16 |   168193 |   132352 |   467041      0 |    19411 |    24184
1453.22/1453.73	c  806s |      16 |   168561 |   132652 |   467041      0 |    19411 |    24184
1455.72/1456.21	c  809s |      16 |   168916 |   132952 |   467041      0 |    19411 |    24184
1458.02/1458.51	c  811s |      16 |   169294 |   133252 |   467041      0 |    19411 |    24184
1460.33/1460.89	c  813s |      16 |   169639 |   133552 |   467041      0 |    19411 |    24184
1462.72/1463.25	c  816s |      16 |   169976 |   133852 |   467041      0 |    19411 |    24184
1465.12/1465.66	c  818s |      16 |   170330 |   134152 |   467041      0 |    19411 |    24184
1467.32/1467.83	c  820s |      16 |   170662 |   134452 |   467041      0 |    19411 |    24184
1469.62/1470.15	c  823s |      16 |   171004 |   134752 |   467041      0 |    19411 |    24184
1472.32/1472.82	c  825s |      16 |   171467 |   135152 |   467041      0 |    19411 |    24184
1474.82/1475.32	c  828s |      16 |   171981 |   135552 |   467041      0 |    19411 |    24184
1477.02/1477.56	c  830s |      16 |   172353 |   135852 |   467041      0 |    19411 |    24184
1479.71/1480.27	c  833s |      16 |   172743 |   136152 |   467041      0 |    19411 |    24184
1482.42/1482.96	c  836s |      16 |   173117 |   136452 |   467041      0 |    19411 |    24184
1485.11/1485.66	c  838s |      16 |   173487 |   136752 |   467041      0 |    19411 |    24184
1487.51/1488.06	c  841s |      16 |   173867 |   137052 |   467041      0 |    19411 |    24184
1489.81/1490.39	c  843s |      16 |   174388 |   137452 |   467041      0 |    19411 |    24184
1491.91/1492.46	c  845s |      16 |   174791 |   137752 |   467041      0 |    19411 |    24184
1494.11/1494.63	c  847s |      16 |   175130 |   138052 |   467041      0 |    19411 |    24184
1496.31/1496.85	c  849s |      16 |   175525 |   138352 |   467041      0 |    19411 |    24184
1498.71/1499.24	c  852s |      16 |   175866 |   138652 |   467041      0 |    19411 |    24184
1500.71/1501.26	c  854s |      16 |   176208 |   138952 |   467041      0 |    19411 |    24184
1503.01/1503.57	c  856s |      16 |   176577 |   139252 |   467041      0 |    19411 |    24184
1505.42/1505.96	c  859s |      16 |   176958 |   139552 |   467041      0 |    19411 |    24184
1507.72/1508.25	c  861s |      16 |   177326 |   139852 |   467041      0 |    19411 |    24184
1510.01/1510.56	c  863s |      16 |   177673 |   140152 |   467041      0 |    19411 |    24184
1512.51/1513.06	c  866s |      16 |   178037 |   140452 |   467041      0 |    19411 |    24184
1514.91/1515.48	c  868s |      16 |   178392 |   140752 |   467041      0 |    19411 |    24184
1517.71/1518.26	c  871s |      16 |   178755 |   141052 |   467041      0 |    19411 |    24184
1520.41/1520.95	c  874s |      16 |   179131 |   141352 |   467041      0 |    19411 |    24184
1522.91/1523.45	c  876s |      16 |   179481 |   141652 |   467041      0 |    19411 |    24184
1525.61/1526.19	c  879s |      16 |   179866 |   141952 |   467041      0 |    19411 |    24184
1528.21/1528.71	c  881s |      16 |   180206 |   142252 |   467041      0 |    19411 |    24184
1530.81/1531.32	c  884s |      16 |   180543 |   142552 |   467041      0 |    19411 |    24184
1533.20/1533.76	c  886s |      16 |   180794 |   142752 |   467041      0 |    19411 |    24184
1535.70/1536.26	c  889s |      16 |   181169 |   143052 |   467041      0 |    19411 |    24184
1538.10/1538.66	c  891s |      16 |   181495 |   143352 |   467041      0 |    19411 |    24184
1540.50/1541.05	c  894s |      16 |   181843 |   143652 |   467041      0 |    19411 |    24184
1543.00/1543.52	c  896s |      16 |   182198 |   143952 |   467041      0 |    19411 |    24184
1545.40/1545.91	c  898s |      16 |   182524 |   144252 |   467041      0 |    19411 |    24184
1547.90/1548.40	c  901s |      16 |   182845 |   144552 |   467041      0 |    19411 |    24184
1550.30/1550.85	c  903s |      16 |   183247 |   144852 |   467041      0 |    19411 |    24184
1553.00/1553.54	c  906s |      16 |   183663 |   145152 |   467041      0 |    19411 |    24184
1555.50/1556.01	c  909s |      16 |   184055 |   145452 |   467041      0 |    19411 |    24184
1558.00/1558.54	c  911s |      16 |   184445 |   145752 |   467041      0 |    19411 |    24184
1560.20/1560.71	c  913s |      16 |   184847 |   146052 |   467041      0 |    19411 |    24184
1562.30/1562.82	c  915s |      16 |   185224 |   146352 |   467041      0 |    19411 |    24184
1564.90/1565.40	c  918s |      16 |   185586 |   146652 |   467041      0 |    19411 |    24184
1567.20/1567.76	c  920s |      16 |   185957 |   146952 |   467041      0 |    19411 |    24184
1569.70/1570.23	c  923s |      16 |   186318 |   147252 |   467041      0 |    19411 |    24184
1572.00/1572.59	c  925s |      16 |   186672 |   147552 |   467041      0 |    19411 |    24184
1574.60/1575.15	c  928s |      16 |   187005 |   147852 |   467041      0 |    19411 |    24184
1576.80/1577.33	c  930s |      16 |   187345 |   148152 |   467041      0 |    19411 |    24184
1579.10/1579.62	c  932s |      16 |   187680 |   148452 |   467041      0 |    19411 |    24184
1581.69/1582.29	c  935s |      16 |   188021 |   148752 |   467041      0 |    19411 |    24184
1584.09/1584.64	c  937s |      16 |   188364 |   149052 |   467041      0 |    19411 |    24184
1586.39/1586.92	c  940s |      16 |   188734 |   149352 |   467041      0 |    19411 |    24184
1588.89/1589.43	c  942s |      16 |   189073 |   149652 |   467041      0 |    19411 |    24184
1591.49/1592.01	c  945s |      16 |   189427 |   149952 |   467041      0 |    19411 |    24184
1593.99/1594.56	c  947s |      16 |   189855 |   150252 |   467041      0 |    19411 |    24184
1596.39/1596.92	c  950s |      16 |   190341 |   150652 |   467041      0 |    19411 |    24184
1598.90/1599.45	c  952s |      16 |   190801 |   151052 |   467041      0 |    19411 |    24184
1601.29/1601.81	c  954s |      16 |   191267 |   151452 |   467041      0 |    19411 |    24184
1603.99/1604.52	c  957s |      16 |   191741 |   151852 |   467041      0 |    19411 |    24184
1605.99/1606.57	c  959s |      16 |   192142 |   152152 |   467041      0 |    19411 |    24184
1608.09/1608.65	c  961s |      16 |   192589 |   152452 |   467041      0 |    19411 |    24184
1610.79/1611.37	c  964s |      16 |   193129 |   152852 |   467041      0 |    19411 |    24184
1612.89/1613.43	c  966s |      16 |   193492 |   153152 |   467041      0 |    19411 |    24184
1615.19/1615.77	c  968s |      16 |   193879 |   153452 |   467041      0 |    19411 |    24184
1617.49/1618.05	c  971s |      16 |   194246 |   153752 |   467041      0 |    19411 |    24184
1620.19/1620.72	c  973s |      16 |   194716 |   154152 |   467041      0 |    19411 |    24184
1622.49/1623.00	c  976s |      16 |   195103 |   154452 |   467041      0 |    19411 |    24184
1624.49/1625.04	c  978s |      16 |   195511 |   154752 |   467041      0 |    19411 |    24184
1626.69/1627.24	c  980s |      16 |   195918 |   155052 |   467041      0 |    19411 |    24184
1629.09/1629.66	c  982s |      16 |   196324 |   155352 |   467041      0 |    19411 |    24184
1631.49/1632.02	c  985s |      16 |   196573 |   155552 |   467041      0 |    19411 |    24184
1633.79/1634.33	c  987s |      16 |   196933 |   155852 |   467041      0 |    19411 |    24184
1636.39/1636.99	c  990s |      16 |   197425 |   156252 |   467041      0 |    19411 |    24184
1638.99/1639.56	c  992s |      16 |   197818 |   156552 |   467041      0 |    19411 |    24184
1640.99/1641.59	c  994s |      16 |   198071 |   156752 |   467041      0 |    19411 |    24184
1643.88/1644.40	c  997s |      16 |   198447 |   157052 |   467041      0 |    19411 |    24184
1645.98/1646.55	c  999s |      16 |   198673 |   157252 |   467041      0 |    19411 |    24184
1648.78/1649.37	c 1002s |      16 |   199009 |   157552 |   467041      0 |    19411 |    24184
1650.88/1651.44	c 1004s |      16 |   199246 |   157752 |   467041      0 |    19411 |    24184
1653.78/1654.36	c 1007s |      16 |   199657 |   158052 |   467041      0 |    19411 |    24184
1656.19/1656.79	c 1009s |      16 |   200020 |   158352 |   467041      0 |    19411 |    24184
1658.68/1659.27	c 1012s |      16 |   200379 |   158652 |   467041      0 |    19411 |    24184
1660.78/1661.37	c 1014s |      16 |   200620 |   158852 |   467041      0 |    19411 |    24184
1662.88/1663.48	c 1016s |      16 |   200851 |   159052 |   467041      0 |    19411 |    24184
1665.68/1666.28	c 1019s |      16 |   201199 |   159352 |   467041      0 |    19411 |    24184
1668.68/1669.28	c 1022s |      16 |   201532 |   159652 |   467041      0 |    19411 |    24184
1671.59/1672.12	c 1025s |      16 |   201877 |   159952 |   467041      0 |    19411 |    24184
1673.69/1674.21	c 1027s |      16 |   202118 |   160152 |   467041      0 |    19411 |    24184
1676.68/1677.26	c 1030s |      16 |   202453 |   160452 |   467041      0 |    19411 |    24184
1679.68/1680.27	c 1033s |      16 |   202804 |   160752 |   467041      0 |    19411 |    24184
1681.78/1682.34	c 1035s |      16 |   203024 |   160952 |   467041      0 |    19411 |    24184
1683.88/1684.41	c 1037s |      16 |   203247 |   161152 |   467041      0 |    19411 |    24184
1686.48/1687.06	c 1040s |      16 |   203609 |   161452 |   513746      0 |    19411 |    24184
1689.38/1689.97	c 1043s |      16 |   204001 |   161752 |   513746      0 |    19411 |    24184
1691.88/1692.42	c 1045s |      16 |   204414 |   162052 |   513746      0 |    19411 |    24184
1694.58/1695.20	c 1048s |      16 |   204852 |   162352 |   513746      0 |    19411 |    24184
1697.48/1698.04	c 1051s |      16 |   205236 |   162652 |   513746      0 |    19411 |    24184
1700.18/1700.73	c 1053s |      16 |   205637 |   162952 |   513746      0 |    19411 |    24184
1703.08/1703.63	c 1056s |      16 |   205992 |   163252 |   513746      0 |    19411 |    24184
1705.17/1705.70	c 1058s |      16 |   206226 |   163452 |   513746      0 |    19411 |    24184
1707.17/1707.73	c 1060s |      16 |   206522 |   163652 |   513746      0 |    19411 |    24184
1709.77/1710.30	c 1063s |      16 |   206876 |   163952 |   513746      0 |    19411 |    24184
1712.18/1712.80	c 1065s |      16 |   207234 |   164252 |   513746      0 |    19411 |    24184
1714.87/1715.40	c 1068s |      16 |   207570 |   164552 |   513746      0 |    19411 |    24184
1717.37/1717.98	c 1071s |      16 |   207925 |   164852 |   513746      0 |    19411 |    24184
1720.07/1720.62	c 1073s |      16 |   208272 |   165152 |   513746      0 |    19411 |    24184
1722.67/1723.20	c 1076s |      16 |   208621 |   165452 |   513746      0 |    19411 |    24184
1724.77/1725.30	c 1078s |      16 |   208849 |   165652 |   513746      0 |    19411 |    24184
1726.97/1727.54	c 1080s |      16 |   209136 |   165852 |   513746      0 |    19411 |    24184
1729.17/1729.74	c 1082s |      16 |   209386 |   166052 |   513746      0 |    19411 |    24184
1731.47/1732.02	c 1085s |      16 |   209611 |   166252 |   513746      0 |    19411 |    24184
1734.47/1735.04	c 1088s |      16 |   210056 |   166552 |   513746      0 |    19411 |    24184
1737.58/1738.16	c 1091s |      16 |   210518 |   166852 |   513746      0 |    19411 |    24184
1740.37/1740.98	c 1094s |      16 |   210889 |   167152 |   513746      0 |    19411 |    24184
1742.87/1743.46	c 1096s |      16 |   211246 |   167452 |   513746      0 |    19411 |    24184
1745.57/1746.14	c 1099s |      16 |   211595 |   167752 |   513746      0 |    19411 |    24184
1747.67/1748.29	c 1101s |      16 |   211833 |   167952 |   513746      0 |    19411 |    24184
1750.87/1751.42	c 1104s |      16 |   212178 |   168252 |   513746      0 |    19411 |    24184
1752.97/1753.57	c 1106s |      16 |   212401 |   168452 |   513746      0 |    19411 |    24184
1755.97/1756.59	c 1109s |      16 |   212755 |   168752 |   513746      0 |    19411 |    24184
1758.37/1758.97	c 1112s |      16 |   212976 |   168952 |   513746      0 |    19411 |    24184
1760.77/1761.35	c 1114s |      16 |   213386 |   169252 |   513746      0 |    19411 |    24184
1763.07/1763.63	c 1116s |      16 |   213626 |   169452 |   513746      0 |    19411 |    24184
1765.26/1765.85	c 1118s |      16 |   213893 |   169652 |   513746      0 |    19411 |    24184
1767.57/1768.17	c 1121s |      16 |   214124 |   169852 |   513746      0 |    19411 |    24184
1769.77/1770.31	c 1123s |      16 |   214377 |   170052 |   513746      0 |    19411 |    24184
1772.47/1773.00	c 1126s |      16 |   214725 |   170352 |   513746      0 |    19411 |    24184
1775.07/1775.64	c 1128s |      16 |   215080 |   170652 |   513746      0 |    19411 |    24184
1777.46/1778.03	c 1131s |      16 |   215441 |   170952 |   513746      0 |    19411 |    24184
1779.86/1780.46	c 1133s |      16 |   215811 |   171252 |   513746      0 |    19411 |    24184
1782.57/1783.11	c 1136s |      16 |   216157 |   171552 |   513746      0 |    19411 |    24184
1784.87/1785.46	c 1138s |      16 |   216491 |   171852 |   513746      0 |    19411 |    24184
1787.66/1788.27	c 1141s |      16 |   217006 |   172252 |   513746      0 |    19411 |    24184
1790.66/1791.28	c 1144s |      16 |   217376 |   172552 |   513746      0 |    19411 |    24184
1793.57/1794.17	c 1147s |      16 |   217759 |   172852 |   513746      0 |    19411 |    24184
1795.66/1796.30	c 1149s |      16 |   218027 |   173052 |   513746      0 |    19411 |    24184
1797.97/1798.51	c 1151s |      16 |   218278 |   173252 |   513746      0 |    19411 |    24184

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

pid=16273
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.40 1.89 1.94 3/179 16276
/proc/meminfo: memFree=30274840/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 2664 0 0 0 0 0 0 0 20 0 4 0 31195266 732360704 3026 33554432000 4194304 16246674 140734907449040 140734907448464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 179311 3034 441 2943 0 176205 0
[pid=16276/tid=16277] ppid=16273 vsize=732604 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 750186496 3096 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 755429376 3113 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 31195266 758575104 3128 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 1.40 1.89 1.94 3/179 16276
/proc/meminfo: memFree=30274840/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 26750 0 0 0 5 4 0 0 20 0 4 0 31195266 1333334016 27049 33554432000 4194304 16246674 140734907449040 140734907448352 7368729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 325521 27065 800 2943 0 322415 0
[pid=16276/tid=16277] ppid=16273 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1333334016 27076 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1333334016 27087 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1333334016 27098 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200612 s]
/proc/loadavg: 1.40 1.89 1.94 3/179 16276
/proc/meminfo: memFree=30274840/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 45433 0 0 0 13 6 0 0 20 0 4 0 31195266 1344868352 46243 33554432000 4194304 16246674 140734907449040 140734907448352 7439500 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 328337 46243 800 2943 0 325231 0
[pid=16276/tid=16277] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 46243 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 46243 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 46243 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300537 s]
/proc/loadavg: 1.40 1.89 1.94 3/179 16276
/proc/meminfo: memFree=30274840/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 57579 0 0 0 21 8 0 0 20 0 4 0 31195266 1344868352 58389 33554432000 4194304 16246674 140734907449040 140734907448352 12750949 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 328337 58389 800 2943 0 325231 0
[pid=16276/tid=16277] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 58389 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 58389 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 58389 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700416 s]
/proc/loadavg: 1.40 1.89 1.94 3/179 16276
/proc/meminfo: memFree=30274840/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 65863 0 0 0 60 9 0 0 20 0 4 0 31195266 1344868352 66673 33554432000 4194304 16246674 140734907449040 140734907448352 7376739 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 328337 66673 802 2943 0 325231 0
[pid=16276/tid=16277] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 66673 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 66673 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 66673 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 1.40 1.89 1.94 3/183 16280
/proc/meminfo: memFree=29748900/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 84253 0 0 0 137 12 0 0 20 0 4 0 31195266 1344868352 85063 33554432000 4194304 16246674 140734907449040 140734907432032 7364283 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 328337 85063 802 2943 0 325231 0
[pid=16276/tid=16277] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 85063 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 85063 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1344868352 85063 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 1.40 1.89 1.94 3/183 16280
/proc/meminfo: memFree=28837996/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1331780 CPUtime=3.08 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 273564 0 0 0 266 42 0 0 20 0 4 0 31195266 1363742720 274374 33554432000 4194304 16246674 140734907449040 140734907430912 6155187 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 332945 274374 840 2943 0 329839 0
[pid=16276/tid=16277] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274374 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274374 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274374 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1331780

[startup+6.30042 s]
/proc/loadavg: 1.61 1.92 1.95 4/183 16280
/proc/meminfo: memFree=28163360/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1331780 CPUtime=6.28 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 273633 0 0 0 586 42 0 0 20 0 4 0 31195266 1363742720 274443 33554432000 4194304 16246674 140734907449040 140734907430912 12429162 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 332945 274443 904 2943 0 329839 0
[pid=16276/tid=16277] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274443 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274443 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274443 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1331780

[startup+12.7004 s]
/proc/loadavg: 1.72 1.94 1.96 3/183 16329
/proc/meminfo: memFree=28162832/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1331780 CPUtime=12.69 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 273648 0 0 0 1226 43 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140734907430912 5722604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 332945 274458 916 2943 0 329839 0
[pid=16276/tid=16277] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1331780

[startup+25.5005 s]
/proc/loadavg: 1.78 1.94 1.96 3/183 16378
/proc/meminfo: memFree=28152648/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1331780 CPUtime=25.49 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 273648 0 0 0 2506 43 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140734907430912 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 332945 274458 916 2943 0 329839 0
[pid=16276/tid=16277] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274458 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1331780

[startup+51.1005 s]
/proc/loadavg: 1.94 1.96 1.97 4/182 16378
/proc/meminfo: memFree=28154056/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1331780 CPUtime=51.08 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 273653 0 0 0 5065 43 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140734907430912 5677802 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 332945 274463 920 2943 0 329839 0
[pid=16276/tid=16277] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1331780

[startup+102.3 s]
/proc/loadavg: 2.13 2.00 1.98 3/183 16381
/proc/meminfo: memFree=28153404/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1331780 CPUtime=102.28 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 273653 0 0 0 10185 43 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140734907430912 5823690 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 332945 274463 920 2943 0 329839 0
[pid=16276/tid=16277] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1363742720 274463 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1331780


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

/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1614404

[startup+1302.3 s]
/proc/loadavg: 2.36 2.24 2.13 3/183 16411
/proc/meminfo: memFree=27868012/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1614404 CPUtime=1301.85 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 344505 0 0 0 130130 55 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140734907430912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 403601 344869 920 2943 0 400495 0
[pid=16276/tid=16277] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1614404

[startup+1362.3 s]
/proc/loadavg: 2.25 2.22 2.13 4/183 16412
/proc/meminfo: memFree=27868304/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1614404 CPUtime=1361.84 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 344538 0 0 0 136128 56 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140734907432040 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 403601 344869 920 2943 0 400495 0
[pid=16276/tid=16277] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1614404

[startup+1422.3 s]
/proc/loadavg: 2.15 2.20 2.12 3/183 16413
/proc/meminfo: memFree=27867756/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1614404 CPUtime=1421.83 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 344554 0 0 0 142127 56 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140734907430912 13954625 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 403601 344869 920 2943 0 400495 0
[pid=16276/tid=16277] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1614404

[startup+1482.3 s]
/proc/loadavg: 2.22 2.20 2.13 3/183 16414
/proc/meminfo: memFree=27867372/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1614404 CPUtime=1481.81 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 344554 0 0 0 148125 56 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140734907430912 5823849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 403601 344869 920 2943 0 400495 0
[pid=16276/tid=16277] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1614404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1653149696 344869 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1614404

[startup+1542.31 s]
/proc/loadavg: 2.33 2.24 2.14 4/183 16415
/proc/meminfo: memFree=27645940/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1834564 CPUtime=1541.81 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 399844 0 0 0 154117 64 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140734907430912 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 458641 400159 920 2943 0 455535 0
[pid=16276/tid=16277] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1834564

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 2.15 3/183 16417
/proc/meminfo: memFree=27645480/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1834564 CPUtime=1601.79 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 399844 0 0 0 160115 64 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140734907430912 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 458641 400159 920 2943 0 455535 0
[pid=16276/tid=16277] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1834564

[startup+1662.3 s]
/proc/loadavg: 2.22 2.23 2.15 4/183 16418
/proc/meminfo: memFree=27645892/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1834564 CPUtime=1661.78 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 399844 0 0 0 166114 64 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140734907430912 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 458641 400159 920 2943 0 455535 0
[pid=16276/tid=16277] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1834564

[startup+1722.3 s]
/proc/loadavg: 2.54 2.31 2.18 4/184 16422
/proc/meminfo: memFree=27645540/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1834564 CPUtime=1721.77 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 399844 0 0 0 172113 64 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140734907430912 5673558 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 458641 400159 920 2943 0 455535 0
[pid=16276/tid=16277] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1834564 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 1878593536 400159 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1834564

[startup+1782.3 s]
/proc/loadavg: 2.35 2.30 2.18 4/183 16423
/proc/meminfo: memFree=27481144/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1998404 CPUtime=1781.77 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 440804 0 0 0 178107 70 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140734907430912 5823013 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 499601 441119 920 2943 0 496495 0
[pid=16276/tid=16277] ppid=16273 vsize=1998404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1998404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1998404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1998404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.28 2.18 3/183 16423
/proc/meminfo: memFree=27445280/32872528 swapFree=1286400/1433568
[pid=16276] ppid=16273 vsize=1998404 CPUtime=1800.06 cores=0,2,4,6
/proc/16276/stat : 16276 (toysat) R 16273 16276 16227 0 -1 4202496 440804 0 0 0 179936 70 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140734907430912 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16276/statm: 499601 441119 920 2943 0 496495 0
[pid=16276/tid=16277] ppid=16273 vsize=1998404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16277/stat : 16277 (toysat) S 16273 16276 16227 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140509136792816 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16276/tid=16278] ppid=16273 vsize=1998404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16278/stat : 16278 (toysat) S 16273 16276 16227 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140509049761008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16276/tid=16279] ppid=16273 vsize=1998404 CPUtime=0 cores=0,2,4,6
/proc/16276/task/16279/stat : 16279 (toysat) S 16273 16276 16227 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 31195266 2046365696 441119 33554432000 4194304 16246674 140734907449040 140509039287472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1998404

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 16276 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.63
CPU time (s): 1800.1
CPU user time (s): 1799.37
CPU system time (s): 0.725889
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1998404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.725889
maximum resident set size= 1764476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440804
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= 533
involuntary context switches= 1830

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3531 second user time and 16.9304 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-19 01:11:25
IDJOB=4108509
IDBENCH=77502
IDSOLVER=2542
FILE ID=node130/4108509-1466291485
RUNJOBID= node130-1466291484-16243
PBS_JOBID= 19918279
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12060_5.std.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4108509-1466291485/watcher-4108509-1466291485 -o /tmp/evaluation-result-4108509-1466291485/solver-4108509-1466291485 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466291484-16243 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4108509-1466291485.opb

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

MD5SUM BENCH= a5005fc9f27cd5643854e7c3033a2662
RANDOM SEED=1254858072

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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:        30299772 kB
Buffers:           69964 kB
Cached:           269752 kB
SwapCached:         1872 kB
Active:           169644 kB
Inactive:         228984 kB
Active(anon):      59192 kB
Inactive(anon):     2212 kB
Active(file):     110452 kB
Inactive(file):   226772 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098744 kB
Dirty:             48504 kB
Writeback:             0 kB
AnonPages:       1490112 kB
Mapped:             9076 kB
Shmem:                 0 kB
Slab:             605340 kB
SReclaimable:      49128 kB
SUnreclaim:       556212 kB
KernelStack:        1336 kB
PageTables:         8736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2562272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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= 71700 MiB
End job on node130 at 2016-06-19 01:41:26