Trace number 4100081

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.15 1800.48

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb
MD5SUM108953e78fcc72e03ac9c2dad6fbc1ae
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables404796
Total number of constraints3709
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints3706
Minimum length of a constraint11
Maximum length of a constraint15900
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535830
Number of bits of the biggest sum of numbers20
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-18T02:59:04+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-4100081-1466211543.opb"]
0.00/0.01	c use --random-gen="2197321431 1177495122 1830916692 933580514 3849233653 2830075997 538676814 2757991787 380028563 859635642 2967297166 2083866339 974150268 586974600 754246345 1868153381 3085197210 2200247826 2710676530 2140910127 44726494 2038654728 2137332947 1332604287 4099757811 126820941 3230644351 1134736358 1815946005 2879011014 3065816695 2875607534 3232514610 3622962296 4220403739 47347233 3362324309 2694030767 2251062893 4291094810 2020379212 3797906651 757354634 2989094048 1361098978 3902529589 758591794 2037026732 2133833543 2754901449 1458631875 1204327859 225183850 829999337 1605405023 2250404922 2821038163 1887091236 1762801838 222725483 1672902322 1725532485 1330275488 2834771602 2567118536 696428017 1454822993 554966134 2134343787 2795898251 2779554359 39784214 3474478483 2463230664 1365084451 463737389 1027542545 2210436747 2604635580 3067200684 1929246872 3870058993 3734329370 3235644514 1762445421 3284883084 1493882952 1845764417 3026801756 2403086852 2750578296 2178281693 331454830 148667058 3694884226 4178565816 1856862559 2274142040 4127266541 210353259 3993941586 2108995044 4188516705 3279611060 638270991 1621737367 456589049 3118309672 3771717139 1353932273 1211937235 2969894378 3739986765 3356578670 3029347470 1013201663 2836260517 3176880835 3042663922 1112749420 772047717 3167009972 869792661 4140992796 1839779936 2012108644 552759656 112085199 738328017 3683479812 3462223144 4083265290 2785641358 4257585981 2914265723 1510857711 569118614 864418295 2947570878 3135157723 2961653189 1369684247 1332980667 3486930824 1085159800 1248155407 4001469903 3833721612 1930172022 3950329970 199572246 4217849698 1113514397 2005564812 2528461374 1788287811 3268881931 3092621101 1403675472 3966376778 2909706887 135551061 332093848 357468229 4028467393 188326616 1808211137 2493466007 387060365 3714429072 3260638596 3520690761 393268426 684441863 1805296680 2917938672 1432384411 2420255203 1233443377 789520639 2148899127 4275640312 2429789531 456428716 4076771926 612475784 2091867775 2450622923 3313522849 1714218818 1344754517 2361850083 3145053702 1217424055 1815247562 2018117877 1866535938 413885015 1455883722 1584375562 3101325122 4042440992 3322315195 843771790 733629789 3887257328 1276604900 2566126245 2799452297 3758545591 3977999844 342183752 14362099 1072795281 1946164624 3773701560 786710240 1726012717 1097215979 1564724505 3542031817 549837653 254436116 1581388474 3152980972 952614693 3776428616 3835620931 3524375872 3411411503 2187277277 1597070095 735737336 3595394882 834411205 2122658205 2430682788 603406277 2157032768 3886673720 1261905473 2984844940 3363057794 3813865999 2062886414 794947974 2458428170 1778788009 3193492794 3094146114 2185665594 1697504430 966311004 488483840 2598001459 1323018247 255 362436" option to reproduce the execution
3.99/4.08	c #vars 404796
3.99/4.08	c #constraints 3709
20.99/21.05	c BCD2: Hardening is enabled.
20.99/21.05	c BCD2: BiasedSearch is enabled.
20.99/21.05	c Solving starts ...
20.99/21.05	c ============================[ Search Statistics ]============================
20.99/21.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.99/21.05	c       |         |          |          |    Limit     GC | Var      | Constra 
20.99/21.05	c =============================================================================
20.99/21.05	c  0.0s |       0 |        0 |        0 |   136576      0 |   108386 |        0
27.88/27.98	c  6.9s |       0 |      466 |      100 |   136576      0 |   108386 |        0
28.38/28.49	c  7.4s |       1 |      466 |      100 |   136576      0 |   108386 |        0
30.49/30.51	c  9.5s |       1 |     3497 |      200 |   150234      0 |   108410 |        0
30.49/30.59	c  9.5s |       2 |     3542 |      250 |   150234      0 |   108410 |        0
31.78/31.82	c 10.8s |       3 |     6311 |      475 |   165258      0 |   108410 |        0
35.79/35.81	c 14.8s |       3 |    14068 |      675 |   181784      0 |   108410 |        0
41.28/41.34	c 20.3s |       3 |    14971 |      775 |   181784      0 |   108410 |        0
43.48/43.50	c 22.4s |       4 |    15031 |      813 |   181784      0 |   108410 |        0
47.58/47.65	c 26.6s |       4 |    21013 |      913 |   199963      0 |   108410 |        0
50.18/50.23	c 29.2s |       4 |    28779 |     1213 |   199963      0 |   108410 |        0
50.98/51.02	c 30.0s |       5 |    28883 |     1320 |   199963      0 |   108410 |        0
56.08/56.20	c 35.2s |       5 |    38125 |     1420 |   219960      0 |   108410 |        0
57.78/57.86	c 36.8s |       6 |    39167 |     2081 |   241957      0 |   108410 |        0
60.78/60.86	c 39.8s |       6 |    43353 |     2381 |   241957      0 |   108410 |        0
63.18/63.26	c 42.2s |       6 |    44454 |     2681 |   241957      0 |   108410 |        0
65.38/65.47	c 44.4s |       6 |    46189 |     2981 |   241957      0 |   108410 |        0
68.19/68.22	c 47.2s |       6 |    47043 |     3181 |   241957      0 |   108410 |        0
68.68/68.73	c 47.7s |       7 |    47229 |     3223 |   266153      0 |   108410 |        0
72.38/72.49	c 51.4s |       7 |    50485 |     3323 |   266153      0 |   108410 |        0
75.58/75.63	c 54.6s |       7 |    50691 |     3523 |   266153      0 |   108410 |        0
78.68/78.76	c 57.7s |       7 |    50884 |     3723 |   266153      0 |   108410 |        0
83.68/83.74	c 62.7s |       7 |    57689 |     3923 |   266153      0 |   108410 |        0
85.78/85.89	c 64.8s |       7 |    67948 |     4023 |   266153      0 |   108410 |        0
87.97/88.05	c 67.0s |       7 |    68145 |     4223 |   266153      0 |   108410 |        0
90.07/90.18	c 69.1s |       7 |    68346 |     4423 |   266153      0 |   108410 |        0
92.27/92.30	c 71.2s |       7 |    68543 |     4623 |   266153      0 |   108410 |        0
94.27/94.31	c 73.3s |       7 |    68747 |     4823 |   266153      0 |   108410 |        0
96.47/96.52	c 75.5s |       7 |    68848 |     4923 |   292769      0 |   108410 |        0
96.88/96.94	c 75.9s |       8 |    68863 |     4936 |   292769      0 |   108410 |        0
100.87/100.93	c 79.9s |       8 |    78060 |     5036 |   292769      0 |   108410 |        0
103.17/103.20	c 82.2s |       8 |    78924 |     5736 |   292769      0 |   108410 |        0
105.37/105.45	c 84.4s |       8 |    85228 |     6336 |   292769      0 |   108410 |        0
107.77/107.82	c 86.8s |       8 |    85424 |     6536 |   292769      0 |   108410 |        0
110.16/110.24	c 89.2s |       8 |    85625 |     6736 |   292769      0 |   108410 |        0
112.57/112.69	c 91.6s |       8 |    85828 |     6936 |   292769      0 |   108410 |        0
115.16/115.22	c 94.2s |       8 |    86027 |     7136 |   292769      0 |   108410 |        0
117.67/117.74	c 96.7s |       8 |    86226 |     7336 |   292769      0 |   108410 |        0
120.07/120.19	c 99.1s |       9 |    86399 |     7506 |   322046      0 |   108410 |        0
123.27/123.37	c  102s |       9 |    90151 |     8006 |   322046      0 |   108434 |        0
126.47/126.58	c  105s |       9 |    90350 |     8206 |   322046      0 |   108434 |        0
130.27/130.31	c  109s |       9 |    94803 |     8406 |   322046      0 |   108434 |        0
132.67/132.75	c  111s |       9 |    99183 |     8506 |   322046      0 |   108434 |        0
136.37/136.47	c  115s |       9 |   107227 |     9106 |   322046      0 |   108434 |        0
138.67/138.72	c  117s |       9 |   107345 |     9206 |   322046      0 |   108434 |        0
142.56/142.60	c  121s |       9 |   107511 |     9306 |   322046      0 |   108434 |        0
145.06/145.17	c  124s |       9 |   107744 |     9406 |   322046      0 |   108434 |        0
147.66/147.79	c  126s |       9 |   108055 |     9506 |   322046      0 |   108434 |        0
150.36/150.49	c  129s |       9 |   108407 |     9606 |   322046      0 |   108434 |        0
153.06/153.14	c  132s |       9 |   108759 |     9706 |   322046      0 |   108434 |        0
155.66/155.78	c  134s |       9 |   109100 |     9806 |   322046      0 |   108434 |        0
158.47/158.53	c  137s |       9 |   109799 |     9906 |   322046      0 |   108434 |        0
161.36/161.48	c  140s |       9 |   110439 |    10006 |   322046      0 |   108434 |        0
164.36/164.41	c  143s |       9 |   110824 |    10106 |   322046      0 |   108434 |        0
167.56/167.64	c  146s |       9 |   111122 |    10206 |   322046      0 |   108434 |        0
171.15/171.22	c  150s |       9 |   111351 |    10306 |   322046      0 |   108434 |        0
174.66/174.77	c  153s |       9 |   111554 |    10406 |   322046      0 |   108434 |        0
177.65/177.75	c  156s |       9 |   112055 |    10506 |   322046      0 |   108434 |        0
180.76/180.82	c  159s |       9 |   112370 |    10606 |   322046      0 |   108434 |        0
183.66/183.74	c  162s |       9 |   112805 |    10706 |   322046      0 |   108434 |        0
186.66/186.70	c  165s |       9 |   113067 |    10806 |   322046      0 |   108434 |        0
189.75/189.82	c  168s |       9 |   113320 |    10906 |   322046      0 |   108434 |        0
192.75/192.89	c  171s |       9 |   113512 |    11006 |   322046      0 |   108434 |        0
195.86/195.93	c  174s |       9 |   114068 |    11106 |   322046      0 |   108434 |        0
198.85/198.96	c  177s |       9 |   114655 |    11206 |   322046      0 |   108434 |        0
202.95/203.08	c  182s |       9 |   114963 |    11306 |   354251      0 |   108434 |        0
204.85/204.99	c  183s |      10 |   115090 |    11361 |   354251      0 |   108434 |        0
209.25/209.39	c  188s |      10 |   127493 |    11461 |   354251      0 |   108458 |        0
212.95/213.00	c  191s |      10 |   130286 |    11761 |   354251      0 |   108458 |        0
216.05/216.11	c  195s |      10 |   130380 |    11861 |   354251      0 |   108458 |        0
219.15/219.22	c  198s |      10 |   130483 |    11961 |   354251      0 |   108458 |        0
222.15/222.28	c  201s |      10 |   130581 |    12061 |   354251      0 |   108458 |        0
225.25/225.38	c  204s |      10 |   130681 |    12161 |   354251      0 |   108458 |        0
228.34/228.49	c  207s |      10 |   130783 |    12261 |   354251      0 |   108458 |        0
231.55/231.61	c  210s |      10 |   130886 |    12361 |   354251      0 |   108458 |        0
234.54/234.67	c  213s |      10 |   130984 |    12461 |   354251      0 |   108458 |        0
237.66/237.76	c  216s |      10 |   131084 |    12561 |   354251      0 |   108458 |        0
240.74/240.85	c  219s |      10 |   131184 |    12661 |   354251      0 |   108458 |        0
243.85/243.93	c  222s |      10 |   131280 |    12761 |   354251      0 |   108458 |        0
246.94/247.01	c  225s |      10 |   131383 |    12861 |   354251      0 |   108458 |        0
250.04/250.12	c  229s |      10 |   131484 |    12961 |   354251      0 |   108458 |        0
253.14/253.22	c  232s |      10 |   131585 |    13061 |   354251      0 |   108458 |        0
256.25/256.33	c  235s |      10 |   131688 |    13161 |   354251      0 |   108458 |        0
259.34/259.43	c  238s |      10 |   131785 |    13261 |   354251      0 |   108458 |        0
263.54/263.62	c  242s |      10 |   131889 |    13361 |   354251      0 |   108458 |        0
270.64/270.73	c  249s |      10 |   131987 |    13461 |   354251      0 |   108458 |        0
276.54/276.67	c  255s |      10 |   132089 |    13561 |   354251      0 |   108458 |        0
283.43/283.55	c  262s |      10 |   132188 |    13661 |   354251      0 |   108458 |        0
289.03/289.19	c  268s |      10 |   132288 |    13761 |   354251      0 |   108458 |        0
296.14/296.22	c  275s |      10 |   132390 |    13861 |   354251      0 |   108458 |        0
302.04/302.17	c  281s |      10 |   132487 |    13961 |   354251      0 |   108458 |        0
309.05/309.18	c  288s |      10 |   132586 |    14061 |   354251      0 |   108458 |        0
314.83/314.90	c  293s |      10 |   132688 |    14161 |   354251      0 |   108458 |        0
321.83/321.94	c  300s |      10 |   132786 |    14261 |   354251      0 |   108458 |        0
327.83/327.95	c  306s |      10 |   132884 |    14361 |   354251      0 |   108458 |        0
334.93/335.07	c  314s |      10 |   132985 |    14461 |   354251      0 |   108458 |        0
340.83/340.90	c  319s |      10 |   133090 |    14561 |   354251      0 |   108458 |        0
347.73/347.83	c  326s |      10 |   133187 |    14661 |   354251      0 |   108458 |        0
353.72/353.82	c  332s |      10 |   133286 |    14761 |   354251      0 |   108458 |        0
360.83/360.99	c  339s |      10 |   133388 |    14861 |   354251      0 |   108458 |        0
366.63/366.73	c  345s |      10 |   133491 |    14961 |   354251      0 |   108458 |        0
372.32/372.48	c  351s |      10 |   133592 |    15061 |   354251      0 |   108458 |        0
379.53/379.67	c  358s |      10 |   133689 |    15161 |   354251      0 |   108458 |        0
385.52/385.67	c  364s |      10 |   133790 |    15261 |   354251      0 |   108458 |        0
392.53/392.65	c  371s |      10 |   133891 |    15361 |   354251      0 |   108458 |        0
398.22/398.38	c  377s |      10 |   133988 |    15461 |   354251      0 |   108458 |        0
403.52/403.63	c  382s |      10 |   134196 |    15561 |   354251      0 |   108458 |        0
407.42/407.52	c  386s |      10 |   134352 |    15661 |   354251      0 |   108458 |        0
411.22/411.37	c  390s |      10 |   134709 |    15761 |   354251      0 |   108458 |        0
415.11/415.27	c  394s |      10 |   134850 |    15861 |   354251      0 |   108458 |        0
419.22/419.35	c  398s |      10 |   135007 |    15961 |   354251      0 |   108458 |        0
423.01/423.17	c  402s |      10 |   135172 |    16061 |   354251      0 |   108458 |        0
428.21/428.30	c  407s |      10 |   135379 |    16161 |   354251      0 |   108458 |        0
431.91/432.07	c  411s |      10 |   135524 |    16261 |   354251      0 |   108458 |        0
435.71/435.83	c  414s |      10 |   135639 |    16361 |   354251      0 |   108458 |        0
439.51/439.61	c  418s |      10 |   135754 |    16461 |   354251      0 |   108458 |        0
443.22/443.34	c  422s |      10 |   135862 |    16561 |   354251      0 |   108458 |        0
448.11/448.20	c  427s |      10 |   135959 |    16661 |   354251      0 |   108458 |        0
452.31/452.43	c  431s |      10 |   136101 |    16761 |   354251      0 |   108458 |        0
456.81/456.92	c  435s |      10 |   136400 |    16861 |   354251      0 |   108458 |        0
460.71/460.90	c  439s |      10 |   136512 |    16961 |   354251      0 |   108458 |        0
464.71/464.83	c  443s |      10 |   136615 |    17061 |   389677      0 |   108458 |        0
468.20/468.37	c  447s |      11 |   136702 |    17144 |   389677      0 |   108458 |        0
475.61/475.70	c  454s |      11 |   159460 |    17244 |   389677      0 |   108506 |        0
478.51/478.66	c  457s |      11 |   159560 |    17344 |   389677      0 |   108506 |        0
481.81/481.95	c  460s |      11 |   159766 |    17544 |   389677      0 |   108506 |        0
485.21/485.36	c  464s |      11 |   159959 |    17744 |   389677      0 |   108506 |        0
488.70/488.88	c  467s |      11 |   160159 |    17944 |   389677      0 |   108506 |        0
492.10/492.24	c  471s |      11 |   160364 |    18144 |   389677      0 |   108506 |        0
495.50/495.64	c  474s |      11 |   160564 |    18344 |   389677      0 |   108506 |        0
500.10/500.29	c  479s |      11 |   160769 |    18544 |   389677      0 |   108506 |        0
503.50/503.64	c  482s |      11 |   160968 |    18744 |   389677      0 |   108506 |        0
507.00/507.16	c  486s |      11 |   161166 |    18944 |   389677      0 |   108506 |        0
510.40/510.54	c  489s |      11 |   161365 |    19144 |   389677      0 |   108506 |        0
513.89/514.03	c  492s |      11 |   161565 |    19344 |   389677      0 |   108506 |        0
517.30/517.42	c  496s |      11 |   161764 |    19544 |   389677      0 |   108506 |        0
520.70/520.88	c  499s |      11 |   161966 |    19744 |   389677      0 |   108506 |        0
523.60/523.79	c  502s |      11 |   162063 |    19844 |   389677      0 |   108506 |        0
527.09/527.21	c  506s |      11 |   162264 |    20044 |   389677      0 |   108506 |        0
530.50/530.62	c  509s |      11 |   162468 |    20244 |   389677      0 |   108506 |        0
533.89/534.06	c  513s |      11 |   162667 |    20444 |   389677      0 |   108506 |        0
537.39/537.58	c  516s |      11 |   162869 |    20644 |   389677      0 |   108506 |        0
540.89/541.07	c  520s |      11 |   163072 |    20844 |   389677      0 |   108506 |        0
544.29/544.46	c  523s |      11 |   163266 |    21044 |   389677      0 |   108506 |        0
548.90/549.07	c  528s |      11 |   163471 |    21244 |   389677      0 |   108506 |        0
552.29/552.49	c  531s |      11 |   163668 |    21444 |   389677      0 |   108506 |        0
555.79/555.99	c  534s |      11 |   163875 |    21644 |   389677      0 |   108506 |        0
559.19/559.38	c  538s |      11 |   164072 |    21844 |   389677      0 |   108506 |        0
562.69/562.83	c  541s |      11 |   164272 |    22044 |   389677      0 |   108506 |        0
566.19/566.31	c  545s |      11 |   164470 |    22244 |   389677      0 |   108506 |        0
569.59/569.77	c  548s |      11 |   164667 |    22444 |   389677      0 |   108506 |        0
574.28/574.43	c  553s |      11 |   164869 |    22644 |   389677      0 |   108506 |        0
577.69/577.88	c  556s |      11 |   165070 |    22844 |   389677      0 |   108506 |        0
581.18/581.32	c  560s |      11 |   165280 |    23044 |   389677      0 |   108506 |        0
584.58/584.75	c  563s |      11 |   165479 |    23244 |   389677      0 |   108506 |        0
587.98/588.17	c  567s |      11 |   165678 |    23444 |   389677      0 |   108506 |        0
591.38/591.57	c  570s |      11 |   165879 |    23644 |   389677      0 |   108506 |        0
594.78/594.96	c  573s |      11 |   166078 |    23844 |   389677      0 |   108506 |        0
598.18/598.36	c  577s |      11 |   166282 |    24044 |   389677      0 |   108506 |        0
602.88/603.03	c  581s |      11 |   166483 |    24244 |   389677      0 |   108506 |        0
606.28/606.40	c  585s |      11 |   166682 |    24444 |   389677      0 |   108506 |        0
609.58/609.76	c  588s |      11 |   166879 |    24644 |   389677      0 |   108506 |        0
612.97/613.13	c  592s |      11 |   167080 |    24844 |   389677      0 |   108506 |        0
616.28/616.49	c  595s |      11 |   167288 |    25044 |   389677      0 |   108506 |        0
619.67/619.84	c  598s |      11 |   167485 |    25244 |   389677      0 |   108506 |        0
623.08/623.24	c  602s |      11 |   167682 |    25444 |   389677      0 |   108506 |        0
626.37/626.60	c  605s |      11 |   167885 |    25644 |   389677      0 |   108506 |        0
629.67/629.80	c  608s |      12 |   168058 |    25819 |   428645      0 |   108506 |        0
635.37/635.55	c  614s |      12 |   174321 |    25919 |   428645      0 |   108530 |        0
639.87/640.02	c  618s |      12 |   174969 |    26119 |   428645      0 |   108530 |        0
642.67/642.86	c  621s |      12 |   175593 |    26319 |   428645      0 |   108530 |        0
646.17/646.33	c  625s |      12 |   176703 |    26519 |   428645      0 |   108530 |        0
649.87/650.00	c  628s |      12 |   177194 |    26719 |   428645      0 |   108530 |        0
653.17/653.31	c  632s |      12 |   177716 |    26919 |   428645      0 |   108530 |        0
656.27/656.47	c  635s |      12 |   178421 |    27119 |   428645      0 |   108530 |        0
659.56/659.74	c  638s |      12 |   179142 |    27319 |   428645      0 |   108530 |        0
663.06/663.21	c  642s |      12 |   179681 |    27519 |   428645      0 |   108530 |        0
666.26/666.48	c  645s |      12 |   180829 |    27719 |   428645      0 |   108530 |        0
669.77/669.91	c  648s |      12 |   181313 |    27919 |   428645      0 |   108530 |        0
673.06/673.26	c  652s |      12 |   182082 |    28119 |   428645      0 |   108530 |        0
676.36/676.51	c  655s |      12 |   182697 |    28319 |   428645      0 |   108530 |        0
679.67/679.81	c  658s |      12 |   183242 |    28519 |   428645      0 |   108530 |        0
683.06/683.29	c  662s |      12 |   184082 |    28719 |   428645      0 |   108530 |        0
686.56/686.77	c  665s |      12 |   184513 |    28919 |   428645      0 |   108530 |        0
689.85/690.01	c  668s |      12 |   185550 |    29119 |   428645      0 |   108530 |        0
693.15/693.39	c  672s |      12 |   186137 |    29319 |   428645      0 |   108530 |        0
696.75/696.94	c  675s |      12 |   186887 |    29519 |   428645      0 |   108530 |        0
700.15/700.32	c  679s |      12 |   187699 |    29719 |   428645      0 |   108530 |        0
703.96/704.14	c  683s |      12 |   188374 |    29919 |   428645      0 |   108530 |        0
707.25/707.48	c  686s |      12 |   189255 |    30119 |   428645      0 |   108530 |        0
709.25/709.48	c  688s |      12 |   189615 |    30219 |   428645      0 |   108530 |        0
712.55/712.77	c  691s |      12 |   189863 |    30319 |   428645      0 |   108530 |        0
715.95/716.20	c  695s |      12 |   190833 |    30519 |   428645      0 |   108530 |        0
719.65/719.89	c  698s |      12 |   191437 |    30719 |   428645      0 |   108530 |        0
723.66/723.85	c  702s |      12 |   192408 |    30919 |   428645      0 |   108530 |        0
725.85/726.02	c  704s |      12 |   192630 |    31019 |   428645      0 |   108530 |        0
729.94/730.10	c  709s |      12 |   193607 |    31219 |   428645      0 |   108530 |        0
732.24/732.40	c  711s |      12 |   193792 |    31319 |   428645      0 |   108530 |        0
734.25/734.44	c  713s |      12 |   194026 |    31419 |   428645      0 |   108530 |        0
737.74/737.97	c  716s |      12 |   194906 |    31619 |   428645      0 |   108530 |        0
739.95/740.12	c  719s |      12 |   195067 |    31719 |   428645      0 |   108530 |        0
743.64/743.85	c  722s |      12 |   195797 |    31919 |   428645      0 |   108530 |        0
745.65/745.87	c  724s |      12 |   196014 |    32019 |   428645      0 |   108530 |        0
747.85/748.02	c  726s |      12 |   196227 |    32119 |   428645      0 |   108530 |        0
749.84/750.09	c  729s |      12 |   196575 |    32219 |   428645      0 |   108530 |        0
753.55/753.75	c  732s |      12 |   197113 |    32419 |   428645      0 |   108530 |        0
757.24/757.45	c  736s |      12 |   197889 |    32619 |   428645      0 |   108530 |        0
760.54/760.75	c  739s |      12 |   198171 |    32719 |   428645      0 |   108530 |        0
762.64/762.89	c  741s |      12 |   198455 |    32819 |   428645      0 |   108530 |        0
766.14/766.32	c  745s |      12 |   199123 |    33019 |   428645      0 |   108530 |        0
768.24/768.46	c  747s |      12 |   199358 |    33119 |   428645      0 |   108530 |        0
771.84/772.09	c  751s |      12 |   200175 |    33319 |   428645      0 |   108530 |        0
774.04/774.29	c  753s |      12 |   200440 |    33419 |   428645      0 |   108530 |        0
778.13/778.33	c  757s |      12 |   201277 |    33619 |   428645      0 |   108530 |        0
780.84/781.04	c  759s |      12 |   201482 |    33719 |   428645      0 |   108530 |        0
784.54/784.75	c  763s |      12 |   202068 |    33919 |   428645      0 |   108530 |        0
788.74/788.92	c  767s |      12 |   202770 |    34119 |   428645      0 |   108530 |        0
790.93/791.19	c  770s |      12 |   203161 |    34219 |   428645      0 |   108530 |        0
795.14/795.31	c  774s |      12 |   203824 |    34419 |   428645      0 |   108530 |        0
798.54/798.80	c  777s |      12 |   204137 |    34519 |   428645      0 |   108530 |        0
800.93/801.15	c  780s |      12 |   204436 |    34619 |   428645      0 |   108530 |        0
805.23/805.46	c  784s |      12 |   205000 |    34819 |   428645      0 |   108530 |        0
807.24/807.47	c  786s |      12 |   205320 |    34919 |   428645      0 |   108530 |        0
809.83/810.01	c  788s |      12 |   205620 |    35019 |   428645      0 |   108530 |        0
814.03/814.20	c  793s |      12 |   206155 |    35219 |   428645      0 |   108530 |        0
816.53/816.71	c  795s |      12 |   206480 |    35319 |   428645      0 |   108530 |        0
820.73/820.95	c  799s |      12 |   207014 |    35519 |   428645      0 |   108530 |        0
825.32/825.51	c  804s |      12 |   207542 |    35719 |   428645      0 |   108530 |        0
827.73/827.94	c  806s |      12 |   207852 |    35819 |   428645      0 |   108530 |        0
831.23/831.41	c  810s |      12 |   208091 |    35919 |   428645      0 |   108530 |        0
833.53/833.73	c  812s |      12 |   208387 |    36019 |   428645      0 |   108530 |        0
835.72/835.94	c  814s |      12 |   208701 |    36119 |   428645      0 |   108530 |        0
838.43/838.64	c  817s |      12 |   208965 |    36219 |   428645      0 |   108530 |        0
841.03/841.28	c  820s |      12 |   209199 |    36319 |   428645      0 |   108530 |        0
843.63/843.81	c  822s |      12 |   209498 |    36419 |   428645      0 |   108530 |        0
846.43/846.61	c  825s |      12 |   209741 |    36519 |   428645      0 |   108530 |        0
848.62/848.87	c  827s |      12 |   210051 |    36619 |   428645      0 |   108530 |        0
851.42/851.64	c  830s |      12 |   210235 |    36719 |   428645      0 |   108530 |        0
854.42/854.63	c  833s |      12 |   210779 |    36819 |   428645      0 |   108530 |        0
857.83/858.02	c  836s |      12 |   211530 |    37019 |   428645      0 |   108530 |        0
859.82/860.05	c  839s |      12 |   211838 |    37119 |   428645      0 |   108530 |        0
863.42/863.63	c  842s |      12 |   212865 |    37319 |   428645      0 |   108530 |        0
866.92/867.13	c  846s |      12 |   213636 |    37519 |   428645      0 |   108530 |        0
869.12/869.33	c  848s |      12 |   213895 |    37619 |   428645      0 |   108530 |        0
872.92/873.13	c  852s |      12 |   214590 |    37819 |   428645      0 |   108530 |        0
876.72/876.96	c  855s |      12 |   215546 |    38019 |   428645      0 |   108530 |        0
878.83/879.04	c  857s |      12 |   215885 |    38119 |   428645      0 |   108530 |        0
882.72/882.96	c  861s |      12 |   216331 |    38319 |   428645      0 |   108530 |        0
886.21/886.48	c  865s |      12 |   217466 |    38519 |   428645      0 |   108530 |        0
889.72/889.99	c  868s |      12 |   218172 |    38719 |   471510      0 |   108530 |        0
891.92/892.15	c  871s |      13 |   218540 |    38832 |   471510      0 |   108530 |        0
898.82/899.07	c  878s |      13 |   247112 |    38932 |   471510      0 |   108530 |        0
900.91/901.19	c  880s |      13 |   247409 |    39032 |   471510      0 |   108530 |        0
903.11/903.34	c  882s |      13 |   247579 |    39132 |   471510      0 |   108530 |        0
906.51/906.73	c  885s |      13 |   247828 |    39232 |   471510      0 |   108530 |        0
908.81/909.07	c  888s |      13 |   248075 |    39332 |   471510      0 |   108530 |        0
911.11/911.32	c  890s |      13 |   248555 |    39432 |   471510      0 |   108530 |        0
913.22/913.45	c  892s |      13 |   249045 |    39532 |   471510      0 |   108530 |        0
915.31/915.57	c  894s |      13 |   249463 |    39632 |   471510      0 |   108530 |        0
919.41/919.66	c  898s |      13 |   249894 |    39832 |   471510      0 |   108530 |        0
921.91/922.18	c  901s |      13 |   250077 |    39932 |   471510      0 |   108530 |        0
924.41/924.65	c  903s |      13 |   250352 |    40032 |   471510      0 |   108530 |        0
926.71/926.92	c  905s |      13 |   250862 |    40132 |   471510      0 |   108530 |        0
929.91/930.17	c  909s |      13 |   251411 |    40232 |   471510      0 |   108530 |        0
932.11/932.33	c  911s |      13 |   251799 |    40332 |   471510      0 |   108530 |        0
934.30/934.53	c  913s |      13 |   252119 |    40432 |   471510      0 |   108530 |        0
936.61/936.84	c  915s |      13 |   252337 |    40532 |   471510      0 |   108530 |        0
939.01/939.29	c  918s |      13 |   252531 |    40632 |   471510      0 |   108530 |        0
941.60/941.83	c  920s |      13 |   252822 |    40732 |   471510      0 |   108530 |        0
943.61/943.87	c  922s |      13 |   253154 |    40832 |   471510      0 |   108530 |        0
945.82/946.05	c  925s |      13 |   253415 |    40932 |   471510      0 |   108530 |        0
947.91/948.19	c  927s |      13 |   253615 |    41032 |   471510      0 |   108530 |        0
950.21/950.48	c  929s |      13 |   253836 |    41132 |   471510      0 |   108530 |        0
953.91/954.19	c  933s |      13 |   254114 |    41232 |   471510      0 |   108530 |        0
956.50/956.70	c  935s |      13 |   254315 |    41332 |   471510      0 |   108530 |        0
959.21/959.42	c  938s |      13 |   254685 |    41432 |   471510      0 |   108530 |        0
961.21/961.44	c  940s |      13 |   255177 |    41532 |   471510      0 |   108530 |        0
963.42/963.63	c  942s |      13 |   255596 |    41632 |   471510      0 |   108530 |        0
965.51/965.75	c  944s |      13 |   255895 |    41732 |   471510      0 |   108530 |        0
967.60/967.85	c  946s |      13 |   256117 |    41832 |   471510      0 |   108530 |        0
969.81/970.09	c  949s |      13 |   256343 |    41932 |   471510      0 |   108530 |        0
972.01/972.26	c  951s |      13 |   256754 |    42032 |   471510      0 |   108530 |        0
975.41/975.61	c  954s |      13 |   257091 |    42132 |   471510      0 |   108530 |        0
977.40/977.65	c  956s |      13 |   257427 |    42232 |   471510      0 |   108530 |        0
979.50/979.70	c  958s |      13 |   257713 |    42332 |   471510      0 |   108530 |        0
981.90/982.12	c  961s |      13 |   257939 |    42432 |   471510      0 |   108530 |        0
984.41/984.69	c  963s |      13 |   258153 |    42532 |   471510      0 |   108530 |        0
986.80/987.09	c  966s |      13 |   258329 |    42632 |   471510      0 |   108530 |        0
988.90/989.16	c  968s |      13 |   258931 |    42732 |   471510      0 |   108530 |        0
991.20/991.44	c  970s |      13 |   259244 |    42832 |   471510      0 |   108530 |        0
993.50/993.75	c  972s |      13 |   259497 |    42932 |   471510      0 |   108530 |        0
995.60/995.88	c  974s |      13 |   259773 |    43032 |   471510      0 |   108530 |        0
999.50/999.71	c  978s |      13 |   260003 |    43132 |   471510      0 |   108530 |        0
1002.40/1002.61	c  981s |      13 |   260248 |    43232 |   471510      0 |   108530 |        0
1004.60/1004.85	c  983s |      13 |   260735 |    43332 |   471510      0 |   108530 |        0
1006.89/1007.13	c  986s |      13 |   261034 |    43432 |   471510      0 |   108530 |        0
1009.30/1009.58	c  988s |      13 |   261298 |    43532 |   471510      0 |   108530 |        0
1011.99/1012.28	c  991s |      13 |   261519 |    43632 |   471510      0 |   108530 |        0
1015.11/1015.35	c  994s |      13 |   261692 |    43732 |   471510      0 |   108530 |        0
1018.99/1019.20	c  998s |      13 |   262063 |    43832 |   471510      0 |   108530 |        0
1021.19/1021.44	c 1000s |      13 |   262521 |    43932 |   471510      0 |   108530 |        0
1023.59/1023.84	c 1002s |      13 |   262865 |    44032 |   471510      0 |   108530 |        0
1025.99/1026.22	c 1005s |      13 |   263184 |    44132 |   471510      0 |   108530 |        0
1028.30/1028.54	c 1007s |      13 |   263385 |    44232 |   471510      0 |   108530 |        0
1030.90/1031.13	c 1010s |      13 |   263799 |    44332 |   471510      0 |   108530 |        0
1033.09/1033.38	c 1012s |      13 |   264176 |    44432 |   471510      0 |   108530 |        0
1036.70/1036.91	c 1015s |      13 |   264500 |    44532 |   471510      0 |   108530 |        0
1038.99/1039.28	c 1018s |      13 |   264794 |    44632 |   471510      0 |   108530 |        0
1041.50/1041.72	c 1020s |      13 |   264986 |    44732 |   471510      0 |   108530 |        0
1043.60/1043.90	c 1022s |      13 |   265487 |    44832 |   471510      0 |   108530 |        0
1045.79/1046.01	c 1024s |      13 |   265804 |    44932 |   471510      0 |   108530 |        0
1048.10/1048.32	c 1027s |      13 |   266016 |    45032 |   471510      0 |   108530 |        0
1050.30/1050.60	c 1029s |      13 |   266259 |    45132 |   471510      0 |   108530 |        0
1052.89/1053.18	c 1032s |      13 |   266442 |    45232 |   471510      0 |   108530 |        0
1055.29/1055.53	c 1034s |      13 |   266949 |    45332 |   471510      0 |   108530 |        0
1058.89/1059.10	c 1038s |      13 |   267250 |    45432 |   471510      0 |   108530 |        0
1061.09/1061.36	c 1040s |      13 |   267559 |    45532 |   471510      0 |   108530 |        0
1063.69/1063.96	c 1042s |      13 |   267725 |    45632 |   471510      0 |   108530 |        0
1066.49/1066.70	c 1045s |      13 |   267880 |    45732 |   471510      0 |   108530 |        0
1069.19/1069.42	c 1048s |      13 |   268201 |    45832 |   471510      0 |   108530 |        0
1071.49/1071.75	c 1050s |      13 |   268491 |    45932 |   471510      0 |   108530 |        0
1073.99/1074.26	c 1053s |      13 |   268703 |    46032 |   471510      0 |   108530 |        0
1077.80/1078.04	c 1056s |      13 |   268875 |    46132 |   471510      0 |   108530 |        0
1080.59/1080.83	c 1059s |      13 |   269069 |    46232 |   471510      0 |   108530 |        0
1082.79/1083.03	c 1061s |      13 |   269471 |    46332 |   471510      0 |   108530 |        0
1084.99/1085.22	c 1064s |      13 |   269778 |    46432 |   471510      0 |   108530 |        0
1087.49/1087.70	c 1066s |      13 |   270000 |    46532 |   471510      0 |   108530 |        0
1089.99/1090.21	c 1069s |      13 |   270178 |    46632 |   471510      0 |   108530 |        0
1092.28/1092.56	c 1071s |      13 |   270592 |    46732 |   471510      0 |   108530 |        0
1094.79/1095.00	c 1073s |      13 |   270891 |    46832 |   471510      0 |   108530 |        0
1098.48/1098.76	c 1077s |      13 |   271136 |    46932 |   471510      0 |   108530 |        0
1101.38/1101.61	c 1080s |      13 |   271331 |    47032 |   471510      0 |   108530 |        0
1104.08/1104.35	c 1083s |      13 |   271629 |    47132 |   471510      0 |   108530 |        0
1106.39/1106.65	c 1085s |      13 |   272018 |    47232 |   471510      0 |   108530 |        0
1108.88/1109.13	c 1088s |      13 |   272262 |    47332 |   471510      0 |   108530 |        0
1111.48/1111.75	c 1090s |      13 |   272444 |    47432 |   471510      0 |   108530 |        0
1115.07/1115.33	c 1094s |      13 |   272779 |    47532 |   471510      0 |   108530 |        0
1117.38/1117.69	c 1096s |      13 |   272977 |    47632 |   471510      0 |   108530 |        0
1119.88/1120.19	c 1099s |      13 |   273135 |    47732 |   471510      0 |   108530 |        0
1122.28/1122.56	c 1101s |      13 |   273512 |    47832 |   471510      0 |   108530 |        0
1124.67/1124.93	c 1103s |      13 |   273931 |    47932 |   471510      0 |   108530 |        0
1127.18/1127.44	c 1106s |      13 |   274132 |    48032 |   471510      0 |   108530 |        0
1129.88/1130.16	c 1109s |      13 |   274308 |    48132 |   471510      0 |   108530 |        0
1132.17/1132.46	c 1111s |      13 |   274682 |    48232 |   471510      0 |   108530 |        0
1135.78/1136.02	c 1114s |      13 |   274977 |    48332 |   471510      0 |   108530 |        0
1138.29/1138.55	c 1117s |      13 |   275157 |    48432 |   471510      0 |   108530 |        0
1140.87/1141.10	c 1120s |      13 |   275478 |    48532 |   471510      0 |   108530 |        0
1143.28/1143.55	c 1122s |      13 |   275755 |    48632 |   471510      0 |   108530 |        0
1145.77/1146.00	c 1124s |      13 |   275963 |    48732 |   471510      0 |   108530 |        0
1148.07/1148.37	c 1127s |      13 |   276392 |    48832 |   471510      0 |   108530 |        0
1150.77/1151.04	c 1129s |      13 |   276707 |    48932 |   471510      0 |   108530 |        0
1155.08/1155.32	c 1134s |      13 |   276908 |    49032 |   471510      0 |   108530 |        0
1158.08/1158.39	c 1137s |      13 |   277190 |    49132 |   471510      0 |   108530 |        0
1160.78/1161.01	c 1139s |      13 |   277423 |    49232 |   471510      0 |   108530 |        0
1163.37/1163.61	c 1142s |      13 |   277625 |    49332 |   471510      0 |   108530 |        0
1165.67/1166.00	c 1144s |      13 |   278013 |    49432 |   471510      0 |   108530 |        0
1168.17/1168.44	c 1147s |      13 |   278278 |    49532 |   471510      0 |   108530 |        0
1171.97/1172.27	c 1151s |      13 |   278482 |    49632 |   471510      0 |   108530 |        0
1174.57/1174.86	c 1153s |      13 |   278782 |    49732 |   471510      0 |   108530 |        0
1177.46/1177.74	c 1156s |      13 |   278929 |    49832 |   471510      0 |   108530 |        0
1179.87/1180.10	c 1159s |      13 |   279200 |    49932 |   471510      0 |   108530 |        0
1182.56/1182.87	c 1161s |      13 |   279402 |    50032 |   471510      0 |   108530 |        0
1185.07/1185.34	c 1164s |      13 |   279758 |    50132 |   471510      0 |   108530 |        0
1188.87/1189.13	c 1168s |      13 |   280019 |    50232 |   471510      0 |   108530 |        0
1191.76/1192.02	c 1170s |      13 |   280237 |    50332 |   471510      0 |   108530 |        0
1194.76/1195.09	c 1174s |      13 |   280552 |    50432 |   471510      0 |   108530 |        0
1197.26/1197.55	c 1176s |      13 |   280886 |    50532 |   471510      0 |   108530 |        0
1200.16/1200.44	c 1179s |      13 |   281118 |    50632 |   471510      0 |   108530 |        0
1202.76/1203.01	c 1181s |      13 |   281433 |    50732 |   471510      0 |   108530 |        0
1205.66/1205.93	c 1184s |      13 |   281599 |    50832 |   471510      0 |   108530 |        0
1210.16/1210.48	c 1189s |      13 |   281776 |    50932 |   471510      0 |   108530 |        0
1212.76/1213.08	c 1192s |      13 |   281933 |    51032 |   471510      0 |   108530 |        0
1215.55/1215.87	c 1194s |      13 |   282150 |    51132 |   471510      0 |   108530 |        0
1218.26/1218.58	c 1197s |      13 |   282404 |    51232 |   471510      0 |   108530 |        0
1221.16/1221.40	c 1200s |      13 |   282678 |    51332 |   471510      0 |   108530 |        0
1223.86/1224.14	c 1203s |      13 |   282878 |    51432 |   471510      0 |   108530 |        0
1227.76/1228.03	c 1206s |      13 |   283078 |    51532 |   471510      0 |   108530 |        0
1230.36/1230.67	c 1209s |      13 |   283297 |    51632 |   471510      0 |   108530 |        0
1233.16/1233.43	c 1212s |      13 |   283514 |    51732 |   471510      0 |   108530 |        0
1235.75/1236.08	c 1215s |      13 |   283758 |    51832 |   471510      0 |   108530 |        0
1238.46/1238.78	c 1217s |      13 |   283952 |    51932 |   471510      0 |   108530 |        0
1242.25/1242.56	c 1221s |      13 |   284128 |    52032 |   471510      0 |   108530 |        0
1244.75/1245.02	c 1223s |      13 |   284288 |    52132 |   471510      0 |   108530 |        0
1248.05/1248.31	c 1227s |      13 |   284406 |    52232 |   471510      0 |   108530 |        0
1250.46/1250.73	c 1229s |      13 |   284585 |    52332 |   471510      0 |   108530 |        0
1253.05/1253.33	c 1232s |      13 |   284836 |    52432 |   471510      0 |   108530 |        0
1255.35/1255.67	c 1234s |      13 |   285135 |    52532 |   471510      0 |   108530 |        0
1257.86/1258.17	c 1237s |      13 |   285326 |    52632 |   471510      0 |   108530 |        0
1260.35/1260.64	c 1239s |      13 |   285530 |    52732 |   471510      0 |   108530 |        0
1264.25/1264.51	c 1243s |      13 |   285785 |    52832 |   471510      0 |   108530 |        0
1266.95/1267.23	c 1246s |      13 |   285989 |    52932 |   471510      0 |   108530 |        0
1269.85/1270.15	c 1249s |      13 |   286186 |    53032 |   471510      0 |   108530 |        0
1273.25/1273.58	c 1252s |      13 |   286367 |    53132 |   471510      0 |   108530 |        0
1276.64/1276.98	c 1255s |      13 |   286678 |    53232 |   471510      0 |   108530 |        0
1279.05/1279.39	c 1258s |      13 |   286951 |    53332 |   471510      0 |   108530 |        0
1281.55/1281.83	c 1260s |      13 |   287234 |    53432 |   471510      0 |   108530 |        0
1284.15/1284.47	c 1263s |      13 |   287448 |    53532 |   471510      0 |   108530 |        0
1286.55/1286.81	c 1265s |      13 |   288039 |    53632 |   471510      0 |   108530 |        0
1288.95/1289.24	c 1268s |      13 |   288346 |    53732 |   471510      0 |   108530 |        0
1291.45/1291.72	c 1270s |      13 |   288994 |    53832 |   471510      0 |   108530 |        0
1293.95/1294.20	c 1273s |      13 |   289487 |    53932 |   471510      0 |   108530 |        0
1297.55/1297.86	c 1276s |      13 |   289841 |    54032 |   471510      0 |   108530 |        0
1299.64/1299.93	c 1278s |      13 |   290217 |    54132 |   471510      0 |   108530 |        0
1301.84/1302.10	c 1281s |      13 |   290595 |    54232 |   471510      0 |   108530 |        0
1304.25/1304.51	c 1283s |      13 |   290885 |    54332 |   471510      0 |   108530 |        0
1307.65/1308.00	c 1286s |      13 |   291147 |    54432 |   471510      0 |   108530 |        0
1311.94/1312.30	c 1291s |      13 |   291311 |    54532 |   471510      0 |   108530 |        0
1316.84/1317.12	c 1296s |      13 |   291459 |    54632 |   471510      0 |   108530 |        0
1319.24/1319.57	c 1298s |      13 |   291824 |    54732 |   471510      0 |   108530 |        0
1322.94/1323.21	c 1302s |      13 |   292095 |    54832 |   471510      0 |   108530 |        0
1325.24/1325.52	c 1304s |      13 |   292536 |    54932 |   471510      0 |   108530 |        0
1327.34/1327.67	c 1306s |      13 |   292947 |    55032 |   471510      0 |   108530 |        0
1329.75/1330.04	c 1308s |      13 |   293595 |    55132 |   471510      0 |   108530 |        0
1332.14/1332.46	c 1311s |      13 |   294245 |    55232 |   471510      0 |   108530 |        0
1334.64/1334.92	c 1313s |      13 |   294753 |    55332 |   471510      0 |   108530 |        0
1336.84/1337.11	c 1316s |      13 |   295133 |    55432 |   471510      0 |   108530 |        0
1339.24/1339.52	c 1318s |      13 |   295424 |    55532 |   471510      0 |   108530 |        0
1341.64/1341.99	c 1320s |      13 |   295830 |    55632 |   471510      0 |   108530 |        0
1345.44/1345.79	c 1324s |      13 |   296308 |    55732 |   471510      0 |   108530 |        0
1347.93/1348.22	c 1327s |      13 |   296616 |    55832 |   471510      0 |   108530 |        0
1350.23/1350.58	c 1329s |      13 |   297343 |    55932 |   471510      0 |   108530 |        0
1352.64/1352.97	c 1331s |      13 |   297958 |    56032 |   471510      0 |   108530 |        0
1354.83/1355.14	c 1334s |      13 |   298292 |    56132 |   471510      0 |   108530 |        0
1356.94/1357.26	c 1336s |      13 |   298580 |    56232 |   471510      0 |   108530 |        0
1359.35/1359.60	c 1338s |      13 |   298763 |    56332 |   471510      0 |   108530 |        0
1361.64/1361.94	c 1340s |      13 |   299007 |    56432 |   471510      0 |   108530 |        0
1364.53/1364.85	c 1343s |      13 |   299297 |    56532 |   471510      0 |   108530 |        0
1368.54/1368.86	c 1347s |      13 |   299571 |    56632 |   471510      0 |   108530 |        0
1371.03/1371.33	c 1350s |      13 |   300109 |    56732 |   471510      0 |   108530 |        0
1373.23/1373.54	c 1352s |      13 |   300409 |    56832 |   471510      0 |   108530 |        0
1375.43/1375.71	c 1354s |      13 |   300646 |    56932 |   471510      0 |   108530 |        0
1377.43/1377.76	c 1356s |      13 |   300934 |    57032 |   471510      0 |   108530 |        0
1379.73/1380.09	c 1359s |      13 |   301177 |    57132 |   471510      0 |   108530 |        0
1384.33/1384.68	c 1363s |      13 |   301383 |    57232 |   471510      0 |   108530 |        0
1387.03/1387.33	c 1366s |      13 |   301771 |    57332 |   471510      0 |   108530 |        0
1389.23/1389.51	c 1368s |      13 |   302318 |    57432 |   471510      0 |   108530 |        0
1391.24/1391.57	c 1370s |      13 |   302649 |    57532 |   471510      0 |   108530 |        0
1393.33/1393.70	c 1372s |      13 |   302805 |    57632 |   471510      0 |   108530 |        0
1397.53/1397.88	c 1376s |      13 |   302987 |    57732 |   471510      0 |   108530 |        0
1400.73/1401.09	c 1380s |      13 |   303152 |    57832 |   471510      0 |   108530 |        0
1403.22/1403.51	c 1382s |      13 |   303430 |    57932 |   471510      0 |   108530 |        0
1405.54/1405.90	c 1384s |      13 |   303961 |    58032 |   518662      0 |   108530 |        0
1407.93/1408.20	c 1387s |      13 |   304724 |    58132 |   518662      0 |   108530 |        0
1410.22/1410.51	c 1389s |      13 |   305286 |    58232 |   518662      0 |   108530 |        0
1412.33/1412.65	c 1391s |      13 |   305564 |    58332 |   518662      0 |   108530 |        0
1413.03/1413.36	c 1392s |      14 |   305620 |    58352 |   518662      0 |   108530 |        0
1421.13/1421.47	c 1400s |      14 |   332351 |    58452 |   518662      0 |   108530 |        0
1423.62/1423.93	c 1402s |      14 |   332451 |    58552 |   518662      0 |   108530 |        0
1425.93/1426.23	c 1405s |      14 |   332549 |    58652 |   518662      0 |   108530 |        0
1428.22/1428.52	c 1407s |      14 |   332647 |    58752 |   518662      0 |   108530 |        0
1431.82/1432.11	c 1411s |      14 |   332749 |    58852 |   518662      0 |   108530 |        0
1434.13/1434.42	c 1413s |      14 |   332847 |    58952 |   518662      0 |   108530 |        0
1436.43/1436.76	c 1415s |      14 |   332943 |    59052 |   518662      0 |   108530 |        0
1438.82/1439.12	c 1418s |      14 |   333045 |    59152 |   518662      0 |   108530 |        0
1441.22/1441.53	c 1420s |      14 |   333148 |    59252 |   518662      0 |   108530 |        0
1443.62/1443.94	c 1422s |      14 |   333251 |    59352 |   518662      0 |   108530 |        0
1445.92/1446.28	c 1425s |      14 |   333351 |    59452 |   518662      0 |   108530 |        0
1448.22/1448.56	c 1427s |      14 |   333449 |    59552 |   518662      0 |   108530 |        0
1450.53/1450.87	c 1429s |      14 |   333547 |    59652 |   518662      0 |   108530 |        0
1452.93/1453.21	c 1432s |      14 |   333648 |    59752 |   518662      0 |   108530 |        0
1455.22/1455.57	c 1434s |      14 |   333748 |    59852 |   518662      0 |   108530 |        0
1457.62/1457.96	c 1436s |      14 |   333844 |    59952 |   518662      0 |   108530 |        0
1460.02/1460.36	c 1439s |      14 |   333944 |    60052 |   518662      0 |   108530 |        0
1462.42/1462.77	c 1441s |      14 |   334053 |    60152 |   518662      0 |   108530 |        0
1464.81/1465.14	c 1444s |      14 |   334155 |    60252 |   518662      0 |   108530 |        0
1467.13/1467.42	c 1446s |      14 |   334248 |    60352 |   518662      0 |   108530 |        0
1469.42/1469.74	c 1448s |      14 |   334351 |    60452 |   518662      0 |   108530 |        0
1471.72/1472.08	c 1451s |      14 |   334446 |    60552 |   518662      0 |   108530 |        0
1474.11/1474.46	c 1453s |      14 |   334551 |    60652 |   518662      0 |   108530 |        0
1476.52/1476.82	c 1455s |      14 |   334654 |    60752 |   518662      0 |   108530 |        0
1478.81/1479.12	c 1458s |      14 |   334754 |    60852 |   518662      0 |   108530 |        0
1481.12/1481.46	c 1460s |      14 |   334852 |    60952 |   518662      0 |   108530 |        0
1483.51/1483.85	c 1462s |      14 |   334947 |    61052 |   518662      0 |   108530 |        0
1485.92/1486.25	c 1465s |      14 |   335050 |    61152 |   518662      0 |   108530 |        0
1488.31/1488.60	c 1467s |      14 |   335156 |    61252 |   518662      0 |   108530 |        0
1490.61/1490.92	c 1469s |      14 |   335251 |    61352 |   518662      0 |   108530 |        0
1494.21/1494.54	c 1473s |      14 |   335350 |    61452 |   518662      0 |   108530 |        0
1496.62/1496.98	c 1475s |      14 |   335454 |    61552 |   518662      0 |   108530 |        0
1499.02/1499.38	c 1478s |      14 |   335554 |    61652 |   518662      0 |   108530 |        0
1501.41/1501.76	c 1480s |      14 |   335653 |    61752 |   518662      0 |   108530 |        0
1503.81/1504.19	c 1483s |      14 |   335758 |    61852 |   518662      0 |   108530 |        0
1506.31/1506.63	c 1485s |      14 |   335853 |    61952 |   518662      0 |   108530 |        0
1508.71/1509.03	c 1487s |      14 |   335951 |    62052 |   518662      0 |   108530 |        0
1511.11/1511.46	c 1490s |      14 |   336049 |    62152 |   518662      0 |   108530 |        0
1513.51/1513.86	c 1492s |      14 |   336154 |    62252 |   518662      0 |   108530 |        0
1515.91/1516.28	c 1495s |      14 |   336248 |    62352 |   518662      0 |   108530 |        0
1518.31/1518.69	c 1497s |      14 |   336351 |    62452 |   518662      0 |   108530 |        0
1520.81/1521.11	c 1500s |      14 |   336453 |    62552 |   518662      0 |   108530 |        0
1523.22/1523.52	c 1502s |      14 |   336550 |    62652 |   518662      0 |   108530 |        0
1525.61/1525.95	c 1504s |      14 |   336649 |    62752 |   518662      0 |   108530 |        0
1528.11/1528.40	c 1507s |      14 |   336762 |    62852 |   518662      0 |   108530 |        0
1530.51/1530.85	c 1509s |      14 |   336860 |    62952 |   518662      0 |   108530 |        0
1532.90/1533.29	c 1512s |      14 |   336962 |    63052 |   518662      0 |   108530 |        0
1535.32/1535.66	c 1514s |      14 |   337061 |    63152 |   518662      0 |   108530 |        0
1537.71/1538.04	c 1516s |      14 |   337155 |    63252 |   518662      0 |   108530 |        0
1540.11/1540.46	c 1519s |      14 |   337261 |    63352 |   518662      0 |   108530 |        0
1542.61/1542.94	c 1521s |      14 |   337362 |    63452 |   518662      0 |   108530 |        0
1545.10/1545.43	c 1524s |      14 |   337463 |    63552 |   518662      0 |   108530 |        0
1547.61/1547.93	c 1526s |      14 |   337551 |    63652 |   518662      0 |   108530 |        0
1550.20/1550.52	c 1529s |      14 |   337653 |    63752 |   518662      0 |   108530 |        0
1552.61/1552.94	c 1531s |      14 |   337764 |    63852 |   518662      0 |   108530 |        0
1554.90/1555.27	c 1534s |      14 |   337859 |    63952 |   518662      0 |   108530 |        0
1557.32/1557.64	c 1536s |      14 |   337961 |    64052 |   518662      0 |   108530 |        0
1559.71/1560.07	c 1539s |      14 |   338061 |    64152 |   518662      0 |   108530 |        0
1563.40/1563.74	c 1542s |      14 |   338160 |    64252 |   518662      0 |   108530 |        0
1565.80/1566.16	c 1545s |      14 |   338257 |    64352 |   518662      0 |   108530 |        0
1568.21/1568.59	c 1547s |      14 |   338358 |    64452 |   518662      0 |   108530 |        0
1570.70/1571.04	c 1549s |      14 |   338458 |    64552 |   518662      0 |   108530 |        0
1573.11/1573.49	c 1552s |      14 |   338564 |    64652 |   518662      0 |   108530 |        0
1575.60/1575.96	c 1554s |      14 |   338659 |    64752 |   518662      0 |   108530 |        0
1577.90/1578.28	c 1557s |      14 |   338761 |    64852 |   518662      0 |   108530 |        0
1580.30/1580.62	c 1559s |      14 |   338858 |    64952 |   518662      0 |   108530 |        0
1582.61/1582.99	c 1561s |      14 |   338957 |    65052 |   518662      0 |   108530 |        0
1585.00/1585.39	c 1564s |      14 |   339060 |    65152 |   518662      0 |   108530 |        0
1587.50/1587.81	c 1566s |      14 |   339160 |    65252 |   518662      0 |   108530 |        0
1589.90/1590.28	c 1569s |      14 |   339260 |    65352 |   518662      0 |   108530 |        0
1592.29/1592.62	c 1571s |      14 |   339363 |    65452 |   518662      0 |   108530 |        0
1594.70/1595.01	c 1573s |      14 |   339464 |    65552 |   518662      0 |   108530 |        0
1597.10/1597.41	c 1576s |      14 |   339561 |    65652 |   518662      0 |   108530 |        0
1599.50/1599.85	c 1578s |      14 |   339662 |    65752 |   518662      0 |   108530 |        0
1601.89/1602.27	c 1581s |      14 |   339759 |    65852 |   518662      0 |   108530 |        0
1604.40/1604.75	c 1583s |      14 |   339861 |    65952 |   518662      0 |   108530 |        0
1606.70/1607.10	c 1586s |      14 |   339964 |    66052 |   518662      0 |   108530 |        0
1609.10/1609.47	c 1588s |      14 |   340062 |    66152 |   518662      0 |   108530 |        0
1611.60/1611.91	c 1590s |      14 |   340163 |    66252 |   518662      0 |   108530 |        0
1613.99/1614.39	c 1593s |      14 |   340260 |    66352 |   518662      0 |   108530 |        0
1616.49/1616.85	c 1595s |      14 |   340359 |    66452 |   518662      0 |   108530 |        0
1618.80/1619.18	c 1598s |      14 |   340465 |    66552 |   518662      0 |   108530 |        0
1621.20/1621.57	c 1600s |      14 |   340565 |    66652 |   518662      0 |   108530 |        0
1623.70/1624.01	c 1602s |      14 |   340662 |    66752 |   518662      0 |   108530 |        0
1627.29/1627.68	c 1606s |      14 |   340758 |    66852 |   518662      0 |   108530 |        0
1629.69/1630.02	c 1608s |      14 |   340863 |    66952 |   518662      0 |   108530 |        0
1632.10/1632.42	c 1611s |      14 |   340967 |    67052 |   518662      0 |   108530 |        0
1634.49/1634.86	c 1613s |      14 |   341060 |    67152 |   518662      0 |   108530 |        0
1636.89/1637.26	c 1616s |      14 |   341166 |    67252 |   518662      0 |   108530 |        0
1639.29/1639.68	c 1618s |      14 |   341260 |    67352 |   518662      0 |   108530 |        0
1641.79/1642.10	c 1621s |      14 |   341363 |    67452 |   518662      0 |   108530 |        0
1644.09/1644.50	c 1623s |      14 |   341467 |    67552 |   518662      0 |   108530 |        0
1646.50/1646.89	c 1625s |      14 |   341564 |    67652 |   518662      0 |   108530 |        0
1648.99/1649.31	c 1628s |      14 |   341664 |    67752 |   518662      0 |   108530 |        0
1651.38/1651.72	c 1630s |      14 |   341764 |    67852 |   518662      0 |   108530 |        0
1653.79/1654.12	c 1633s |      14 |   341861 |    67952 |   518662      0 |   108530 |        0
1656.18/1656.53	c 1635s |      14 |   341976 |    68052 |   518662      0 |   108530 |        0
1658.50/1658.88	c 1637s |      14 |   342069 |    68152 |   518662      0 |   108530 |        0
1660.89/1661.26	c 1640s |      14 |   342169 |    68252 |   518662      0 |   108530 |        0
1663.29/1663.67	c 1642s |      14 |   342275 |    68352 |   518662      0 |   108530 |        0
1665.79/1666.12	c 1645s |      14 |   342366 |    68452 |   518662      0 |   108530 |        0
1668.19/1668.50	c 1647s |      14 |   342472 |    68552 |   518662      0 |   108530 |        0
1670.39/1670.80	c 1649s |      14 |   342575 |    68652 |   518662      0 |   108530 |        0
1672.79/1673.12	c 1652s |      14 |   342672 |    68752 |   518662      0 |   108530 |        0
1675.09/1675.47	c 1654s |      14 |   342774 |    68852 |   518662      0 |   108530 |        0
1677.49/1677.84	c 1656s |      14 |   342869 |    68952 |   518662      0 |   108530 |        0
1679.88/1680.20	c 1659s |      14 |   342970 |    69052 |   518662      0 |   108530 |        0
1682.18/1682.59	c 1661s |      14 |   343076 |    69152 |   518662      0 |   108530 |        0
1684.58/1684.93	c 1663s |      14 |   343168 |    69252 |   518662      0 |   108530 |        0
1686.98/1687.34	c 1666s |      14 |   343272 |    69352 |   518662      0 |   108530 |        0
1689.29/1689.70	c 1668s |      14 |   343370 |    69452 |   518662      0 |   108530 |        0
1691.78/1692.10	c 1671s |      14 |   343470 |    69552 |   518662      0 |   108530 |        0
1694.09/1694.48	c 1673s |      14 |   343573 |    69652 |   518662      0 |   108530 |        0
1696.49/1696.83	c 1675s |      14 |   343671 |    69752 |   518662      0 |   108530 |        0
1698.88/1699.23	c 1678s |      14 |   343768 |    69852 |   518662      0 |   108530 |        0
1701.19/1701.58	c 1680s |      14 |   343869 |    69952 |   518662      0 |   108530 |        0
1703.59/1703.96	c 1682s |      14 |   343972 |    70052 |   518662      0 |   108530 |        0
1705.98/1706.30	c 1685s |      14 |   344067 |    70152 |   518662      0 |   108530 |        0
1708.28/1708.65	c 1687s |      14 |   344170 |    70252 |   518662      0 |   108530 |        0
1710.57/1710.98	c 1689s |      14 |   344269 |    70352 |   518662      0 |   108530 |        0
1714.18/1714.52	c 1693s |      14 |   344375 |    70452 |   518662      0 |   108530 |        0
1716.47/1716.84	c 1695s |      14 |   344474 |    70552 |   518662      0 |   108530 |        0
1718.78/1719.16	c 1698s |      14 |   344573 |    70652 |   518662      0 |   108530 |        0
1721.08/1721.50	c 1700s |      14 |   344675 |    70752 |   518662      0 |   108530 |        0
1723.48/1723.87	c 1702s |      14 |   344779 |    70852 |   518662      0 |   108530 |        0
1725.77/1726.18	c 1705s |      14 |   344873 |    70952 |   518662      0 |   108530 |        0
1728.17/1728.53	c 1707s |      14 |   344977 |    71052 |   518662      0 |   108530 |        0
1730.47/1730.89	c 1709s |      14 |   345071 |    71152 |   518662      0 |   108530 |        0
1732.88/1733.26	c 1712s |      14 |   345175 |    71252 |   518662      0 |   108530 |        0
1735.27/1735.62	c 1714s |      14 |   345274 |    71352 |   518662      0 |   108530 |        0
1737.58/1737.97	c 1716s |      14 |   345373 |    71452 |   518662      0 |   108530 |        0
1739.98/1740.31	c 1719s |      14 |   345474 |    71552 |   518662      0 |   108530 |        0
1742.27/1742.64	c 1721s |      14 |   345574 |    71652 |   518662      0 |   108530 |        0
1744.57/1744.99	c 1723s |      14 |   345672 |    71752 |   518662      0 |   108530 |        0
1746.97/1747.34	c 1726s |      14 |   345773 |    71852 |   518662      0 |   108530 |        0
1749.37/1749.73	c 1728s |      14 |   345870 |    71952 |   518662      0 |   108530 |        0
1751.77/1752.11	c 1731s |      14 |   345973 |    72052 |   518662      0 |   108530 |        0
1754.18/1754.58	c 1733s |      14 |   346072 |    72152 |   518662      0 |   108530 |        0
1756.57/1756.93	c 1735s |      14 |   346179 |    72252 |   518662      0 |   108530 |        0
1758.97/1759.31	c 1738s |      14 |   346273 |    72352 |   518662      0 |   108530 |        0
1761.36/1761.75	c 1740s |      14 |   346374 |    72452 |   518662      0 |   108530 |        0
1763.77/1764.13	c 1743s |      14 |   346481 |    72552 |   518662      0 |   108530 |        0
1766.16/1766.56	c 1745s |      14 |   346575 |    72652 |   518662      0 |   108530 |        0
1768.66/1769.02	c 1747s |      14 |   346672 |    72752 |   518662      0 |   108530 |        0
1770.97/1771.39	c 1750s |      14 |   346775 |    72852 |   518662      0 |   108530 |        0
1773.36/1773.79	c 1752s |      14 |   346876 |    72952 |   518662      0 |   108530 |        0
1775.87/1776.20	c 1755s |      14 |   346977 |    73052 |   518662      0 |   108530 |        0
1778.16/1778.56	c 1757s |      14 |   347074 |    73152 |   518662      0 |   108530 |        0
1780.57/1780.97	c 1759s |      14 |   347175 |    73252 |   518662      0 |   108530 |        0
1782.97/1783.38	c 1762s |      14 |   347272 |    73352 |   518662      0 |   108530 |        0
1785.36/1785.76	c 1764s |      14 |   347375 |    73452 |   518662      0 |   108530 |        0
1787.77/1788.17	c 1767s |      14 |   347474 |    73552 |   518662      0 |   108530 |        0
1790.16/1790.55	c 1769s |      14 |   347572 |    73652 |   518662      0 |   108530 |        0
1792.56/1792.97	c 1771s |      14 |   347679 |    73752 |   518662      0 |   108530 |        0
1794.97/1795.34	c 1774s |      14 |   347775 |    73852 |   518662      0 |   108530 |        0
1797.36/1797.77	c 1776s |      14 |   347881 |    73952 |   518662      0 |   108530 |        0
1799.86/1800.23	c 1779s |      14 |   347973 |    74052 |   518662      0 |   108530 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=24703
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24706
/proc/meminfo: memFree=30712640/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 2566 0 0 0 0 0 0 0 20 0 4 0 23199237 706146304 3439 33554432000 4194304 16246674 140736714954896 140736714954320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 173167 3448 441 2943 0 170061 0
[pid=24706/tid=24707] ppid=24703 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 725020672 3510 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 729214976 3526 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 733409280 3543 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24706
/proc/meminfo: memFree=30712640/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 30012 0 0 0 5 4 0 0 20 0 4 0 23199237 1333334016 30822 33554432000 4194304 16246674 140736714954896 140736714954208 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 325521 30838 802 2943 0 322415 0
[pid=24706/tid=24707] ppid=24703 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1333334016 30850 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 1333334016 30861 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1333334016 30872 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200513 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24706
/proc/meminfo: memFree=30712640/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 45902 0 0 0 13 6 0 0 20 0 4 0 23199237 1344868352 47223 33554432000 4194304 16246674 140736714954896 140736714954208 8058916 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 328337 47223 802 2943 0 325231 0
[pid=24706/tid=24707] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 47223 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 47223 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 47223 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300494 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24706
/proc/meminfo: memFree=30712640/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 50613 0 0 0 22 7 0 0 20 0 4 0 23199237 1344868352 51934 33554432000 4194304 16246674 140736714954896 140736714954208 7439506 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 328337 51934 802 2943 0 325231 0
[pid=24706/tid=24707] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 51934 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 51934 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 51934 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700419 s]
/proc/loadavg: 2.00 2.01 1.97 3/179 24706
/proc/meminfo: memFree=30712640/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 58874 0 0 0 61 8 0 0 20 0 4 0 23199237 1344868352 60195 33554432000 4194304 16246674 140736714954896 140736714936768 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 328337 60195 803 2943 0 325231 0
[pid=24706/tid=24707] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 60195 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 60195 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 60195 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24710
/proc/meminfo: memFree=30431324/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 78903 0 0 0 138 11 0 0 20 0 4 0 23199237 1344868352 80224 33554432000 4194304 16246674 140736714954896 140736714936768 7368270 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 328337 80224 803 2943 0 325231 0
[pid=24706/tid=24707] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 80224 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 80224 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1344868352 80224 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24710
/proc/meminfo: memFree=30226640/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 116719 0 0 0 293 16 0 0 20 0 4 0 23199237 1370034176 123150 33554432000 4194304 16246674 140736714954896 140736714936768 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 334481 123150 803 2943 0 331375 0
[pid=24706/tid=24707] ppid=24703 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1370034176 123150 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23199237 1370034176 123150 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1370034176 123150 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24710
/proc/meminfo: memFree=29586040/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1499716 CPUtime=6.28 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 267778 0 0 0 594 34 0 0 20 0 4 0 23199237 1535709184 287495 33554432000 4194304 16246674 140736714954896 140736714954208 12654389 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 374929 287495 835 2943 0 371823 0
[pid=24706/tid=24707] ppid=24703 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1535709184 287495 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1535709184 287495 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1535709184 287495 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1499716

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24710
/proc/meminfo: memFree=29563312/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=1499716 CPUtime=12.69 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 288937 0 0 0 1232 37 0 0 20 0 4 0 23199237 1535709184 308654 33554432000 4194304 16246674 140736714954896 140736714952640 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 374929 308659 838 2943 0 371823 0
[pid=24706/tid=24707] ppid=24703 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1535709184 308663 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 1535709184 308666 33554432000 4194304 16246674 140736714954896 140268613377040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=1499716 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 1535709184 308668 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1499716

[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24710
/proc/meminfo: memFree=27867116/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=3075652 CPUtime=25.48 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 691185 0 0 0 2457 91 0 0 20 0 4 0 23199237 3149467648 710902 33554432000 4194304 16246674 140736714954896 140736714936768 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 768913 710902 881 2943 0 765807 0
[pid=24706/tid=24707] ppid=24703 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 3149467648 710902 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 3149467648 710902 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 3149467648 710902 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3075652

[startup+51.1005 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 24759
/proc/meminfo: memFree=27936196/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=3075652 CPUtime=51.08 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 691198 0 0 0 5015 93 0 0 20 0 4 0 23199237 3149467648 710915 33554432000 4194304 16246674 140736714954896 140736714954072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 768913 710915 894 2943 0 765807 0
[pid=24706/tid=24707] ppid=24703 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 3149467648 710915 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 3149467648 710915 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=3075652 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 3149467648 710915 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3075652

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 1.97 3/184 24763
/proc/meminfo: memFree=27639996/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=3371588 CPUtime=102.28 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 765192 0 0 0 10121 107 0 0 20 0 4 0 23199237 3452506112 784903 33554432000 4194304 16246674 140736714954896 140736714936768 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 842897 784903 898 2943 0 839791 0
[pid=24706/tid=24707] ppid=24703 vsize=3371588 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 3452506112 784903 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=3371588 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 3452506112 784903 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=3371588 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 3452506112 784903 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3371588


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

/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4151906304 955432 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 4054596

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 24816
/proc/meminfo: memFree=26915364/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4091460 CPUtime=1302.04 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 945072 0 0 0 129850 354 0 0 20 0 4 0 23199237 4189655040 964702 33554432000 4194304 16246674 140736714954896 140736714954072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1022865 964702 901 2943 0 1019759 0
[pid=24706/tid=24707] ppid=24703 vsize=4091460 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4189655040 964702 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4091460 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4189655040 964702 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4091460 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4189655040 964702 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 4091460

[startup+1362.3 s]
/proc/loadavg: 2.18 2.06 2.00 3/184 25020
/proc/meminfo: memFree=26804160/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4129348 CPUtime=1362.03 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 954638 0 0 0 135838 365 0 0 20 0 4 0 23199237 4228452352 974265 33554432000 4194304 16246674 140736714954896 140736714936768 5711439 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1032337 974265 901 2943 0 1029231 0
[pid=24706/tid=24707] ppid=24703 vsize=4129348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4228452352 974265 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4129348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4228452352 974265 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4129348 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4228452352 974265 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 4129348

[startup+1422.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/183 25022
/proc/meminfo: memFree=26763896/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4170308 CPUtime=1422.03 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 964848 0 0 0 141826 377 0 0 20 0 4 0 23199237 4270395392 984473 33554432000 4194304 16246674 140736714954896 140736714954072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1042577 984473 901 2943 0 1039471 0
[pid=24706/tid=24707] ppid=24703 vsize=4170308 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4270395392 984473 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4170308 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4270395392 984473 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4170308 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4270395392 984473 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 4170308

[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 25023
/proc/meminfo: memFree=26741228/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4192836 CPUtime=1482.02 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 970477 0 0 0 147812 390 0 0 20 0 4 0 23199237 4293464064 990102 33554432000 4194304 16246674 140736714954896 140736714936768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1048209 990102 901 2943 0 1045103 0
[pid=24706/tid=24707] ppid=24703 vsize=4192836 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4293464064 990102 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4192836 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4293464064 990102 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4192836 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4293464064 990102 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 4192836

[startup+1542.31 s]
/proc/loadavg: 2.13 2.07 2.01 3/183 25024
/proc/meminfo: memFree=26720540/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4213316 CPUtime=1542.02 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 975686 0 0 0 153800 402 0 0 20 0 4 0 23199237 4314435584 995311 33554432000 4194304 16246674 140736714954896 140736714936768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1053329 995311 901 2943 0 1050223 0
[pid=24706/tid=24707] ppid=24703 vsize=4213316 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4314435584 995311 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4213316 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4314435584 995311 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4213316 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4314435584 995311 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 4213316

[startup+1602.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/183 25025
/proc/meminfo: memFree=26676296/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4258372 CPUtime=1602 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 986730 0 0 0 159786 414 0 0 20 0 4 0 23199237 4360572928 1006355 33554432000 4194304 16246674 140736714954896 140736714936768 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1064593 1006355 901 2943 0 1061487 0
[pid=24706/tid=24707] ppid=24703 vsize=4258372 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4360572928 1006355 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4258372 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4360572928 1006355 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4258372 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4360572928 1006355 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 4258372

[startup+1662.3 s]
/proc/loadavg: 2.15 2.10 2.02 3/183 25026
/proc/meminfo: memFree=26627468/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4306500 CPUtime=1661.99 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 998912 0 0 0 165771 428 0 0 20 0 4 0 23199237 4409856000 1018536 33554432000 4194304 16246674 140736714954896 140736714952768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1076625 1018536 901 2943 0 1073519 0
[pid=24706/tid=24707] ppid=24703 vsize=4306500 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4409856000 1018536 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4306500 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4409856000 1018536 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4306500 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4409856000 1018536 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 4306500

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.02 3/183 25028
/proc/meminfo: memFree=26582600/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4351556 CPUtime=1721.98 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 1010092 0 0 0 171757 441 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140736714936768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1087889 1029707 901 2943 0 1084783 0
[pid=24706/tid=24707] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 4351556

[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 25029
/proc/meminfo: memFree=26582136/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4351556 CPUtime=1781.97 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 1010092 0 0 0 177745 452 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140736714936768 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1087889 1029707 901 2943 0 1084783 0
[pid=24706/tid=24707] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029707 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 4351556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.02 3/183 25029
/proc/meminfo: memFree=26581128/32872528 swapFree=7780/7780
[pid=24706] ppid=24703 vsize=4351556 CPUtime=1800.06 cores=1,3,5,7
/proc/24706/stat : 24706 (toysat) R 24703 24706 23276 0 -1 4202496 1010283 0 0 0 179552 454 0 0 20 0 4 0 23199237 4455993344 1029898 33554432000 4194304 16246674 140736714954896 140736714936768 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24706/statm: 1087889 1029898 901 2943 0 1084783 0
[pid=24706/tid=24707] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24707/stat : 24707 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029898 33554432000 4194304 16246674 140736714954896 140268623867120 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24706/tid=24708] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24708/stat : 24708 (toysat) S 24703 24706 23276 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029898 33554432000 4194304 16246674 140736714954896 140268613377264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24706/tid=24709] ppid=24703 vsize=4351556 CPUtime=0 cores=1,3,5,7
/proc/24706/task/24709/stat : 24709 (toysat) S 24703 24706 23276 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23199237 4455993344 1029898 33554432000 4194304 16246674 140736714954896 140268531608752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4351556

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 24706 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.48
CPU time (s): 1800.15
CPU user time (s): 1795.53
CPU system time (s): 4.6153
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 4351556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.53
system time used= 4.6153
maximum resident set size= 4119592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1010283
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= 306
involuntary context switches= 1815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62214 second user time and 8.16276 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-18 02:59:04
IDJOB=4100081
IDBENCH=1571
IDSOLVER=2542
FILE ID=node151/4100081-1466211543
RUNJOBID= node151-1466206051-23293
PBS_JOBID= 19918135
Free space on /tmp= 71700 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-dano3_3.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100081-1466211543/watcher-4100081-1466211543 -o /tmp/evaluation-result-4100081-1466211543/solver-4100081-1466211543 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466206051-23293 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100081-1466211543.opb

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

MD5SUM BENCH= 108953e78fcc72e03ac9c2dad6fbc1ae
RANDOM SEED=804971213

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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		: 2667.103
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:        30713168 kB
Buffers:           46804 kB
Cached:           248252 kB
SwapCached:         2016 kB
Active:          1267168 kB
Inactive:         177324 kB
Active(anon):    1150020 kB
Inactive(anon):     1744 kB
Active(file):     117148 kB
Inactive(file):   175580 kB
Unevictable:        7780 kB
Mlocked:            7780 kB
SwapTotal:      67108856 kB
SwapFree:       67099164 kB
Dirty:             41264 kB
Writeback:             0 kB
AnonPages:       1158320 kB
Mapped:            11768 kB
Shmem:                 0 kB
Slab:             575312 kB
SReclaimable:      18732 kB
SUnreclaim:       556580 kB
KernelStack:        1488 kB
PageTables:         6424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1299428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1144832 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= 71688 MiB
End job on node151 at 2016-06-18 03:29:05