Trace number 4080048

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.09 1800.51

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb
MD5SUMd0d226c540b75eb8b7499ce62f8d731e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-11
Best CPU time to get the best result obtained on this benchmark284.656
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40937
Total number of constraints41436
Number of constraints which are clauses40882
Number of constraints which are cardinality constraints (but not clauses)67
Number of constraints which are nor clauses,nor cardinality constraints487
Minimum length of a constraint1
Maximum length of a constraint8416
Number of terms in the objective function 243
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 243
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 120
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 14476
Number of bits of the biggest sum of numbers14
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-07T10:52:48+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-4080048-1465289568.opb"]
0.00/0.01	c use --random-gen="4025446952 1859025423 3793567020 1220347536 1656053291 3849017894 521699521 454910597 4189102484 3343110594 4019462795 3150646882 1523884290 1343660794 836417679 1399957503 3661672032 902288105 1257686243 1691867460 3069675714 404320961 4070986099 1528531038 3103283668 3651200843 3223805581 953224818 1333096699 2104197992 810737819 1725346779 1356675 2111394534 859922282 743471941 3485686729 2388343996 1740852391 3644181009 1111189124 3966033202 1099541059 1364400900 3277755160 593405468 509007812 2460141270 1078392581 2206052244 1271945430 2480499664 150053628 452736564 462166921 3311928090 2334649831 1867189996 1153911722 385585109 386863898 2423574418 453141831 1291733876 4009500309 3072135077 3721048344 2361711043 4241744125 3451134818 3601124229 2984644198 3446675226 1797721279 2461697210 2793136212 2340767235 135590736 764979731 1634332840 762763669 2749959069 1638114195 1122975897 1686519735 3992168170 444547273 3230664 3255082343 2511886691 271779129 3401555996 1942154248 4233679274 3696492812 3167051320 1854879378 4265921966 1158887240 427246598 1297732076 1881415738 700778400 980224739 3422756019 1153853228 2061819979 3565996857 1879326857 1637358611 3206792303 1909043411 811835663 1246725799 2725280483 378893297 2428035631 992249005 3868161153 879720260 4050194463 1851976823 3752897059 4264049337 3074468051 65311614 3159841721 209002629 3494486047 658353923 4275983454 814738076 1207098357 2488668310 4203783067 1405998865 4247910869 3932226967 3423515046 2243243024 1259554019 3431920883 4167324638 1771831962 3017802640 2368429625 537875685 1045365726 1197747002 3919260699 4029489210 987374853 2306109866 1359484979 1911270585 4063412154 1903067469 2647423801 3512095557 2027161263 3234873271 3094944752 1468364233 1785419886 268179305 1562799232 3040519880 1730264949 3205536840 2833619168 882001240 1323631936 1634185066 394352645 2296222893 3841745857 653600495 1188609780 193131581 358772986 2649387002 156474239 346316509 1935605900 2305289134 3512161920 3240404427 4203819761 828982942 2655609298 1006298417 2006518652 956293150 984636801 627024108 1430083070 189167843 622517242 2988678734 2029224622 1036165276 1707311237 1485605567 60424650 2489321981 1626832400 3461224466 59992232 2339631384 4231966237 107284077 914528581 721508007 706163350 3468954764 75027821 2087767561 312425850 2073968196 166385312 173160266 371737080 3669365262 2175014609 698750319 190001969 3288466752 465885480 2439596010 3349819357 599265309 1219848383 2096229513 1399650003 2041194396 2083547700 659481880 1608802901 2922558662 2210807750 4117509031 2497500133 2273505462 2623800796 476210826 428112314 1941587722 3793069715 1349583073 2896473922 2507464232 640342559 59738931 1680110985 534623088 1348273626 255 362436" option to reproduce the execution
0.39/0.44	c #vars 40937
0.39/0.44	c #constraints 41436
1.49/1.50	c BCD2: Hardening is enabled.
1.49/1.50	c BCD2: BiasedSearch is enabled.
1.49/1.50	c Solving starts ...
1.49/1.50	c ============================[ Search Statistics ]============================
1.49/1.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.49/1.50	c       |         |          |          |    Limit     GC | Var      | Constra 
1.49/1.50	c =============================================================================
1.49/1.50	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
2.99/3.03	c  1.5s |       1 |     1039 |      100 |    27456      0 |      126 |      125
4.89/4.91	c  3.4s |       2 |     2055 |      250 |    30202      0 |      126 |      125
8.09/8.14	c  6.6s |       2 |     2408 |      450 |    33223      0 |      126 |      125
8.49/8.55	c  7.1s |       3 |     2441 |      475 |    33223      0 |      126 |      125
10.89/10.93	c  9.4s |       3 |     3383 |      575 |    36546      0 |      126 |      125
12.99/13.07	c 11.6s |       3 |     5131 |      675 |    36546      0 |      126 |      125
15.08/15.18	c 13.7s |       3 |     6074 |      775 |    36546      0 |      126 |      125
15.58/15.62	c 14.1s |       4 |     6131 |      813 |    36546      0 |      126 |      125
18.79/18.89	c 17.4s |       4 |     6582 |     1013 |    40201      0 |      126 |      125
20.89/20.97	c 19.5s |       4 |     7061 |     1113 |    40201      0 |      126 |      125
24.68/24.70	c 23.2s |       4 |     7473 |     1313 |    40201      0 |      126 |      125
24.68/24.78	c 23.3s |       5 |     7504 |     1320 |    40201      0 |      126 |      125
27.38/27.47	c 26.0s |       5 |     8031 |     1420 |    44222      0 |      126 |      125
31.58/31.63	c 30.1s |       5 |    10205 |     1620 |    44222      0 |      126 |      125
35.19/35.24	c 33.7s |       5 |    10363 |     1720 |    44222      0 |      126 |      125
37.39/37.41	c 35.9s |       5 |    11845 |     1820 |    44222      0 |      126 |      125
39.48/39.60	c 38.1s |       5 |    12990 |     1920 |    44222      0 |      126 |      125
41.79/41.83	c 40.3s |       5 |    13626 |     2020 |    44222      0 |      126 |      125
44.09/44.16	c 42.7s |       6 |    13764 |     2081 |    48645      0 |      126 |      125
46.78/46.84	c 45.3s |       6 |    15063 |     2181 |    48645      0 |      126 |      125
50.59/50.63	c 49.1s |       6 |    15335 |     2381 |    48645      0 |      126 |      125
53.18/53.28	c 51.8s |       6 |    15456 |     2481 |    48645      0 |      126 |      125
57.58/57.67	c 56.2s |       6 |    15574 |     2581 |    48645      0 |      126 |      125
60.38/60.42	c 58.9s |       6 |    16271 |     2681 |    48645      0 |      126 |      125
64.08/64.10	c 62.6s |       6 |    17623 |     2881 |    48645      0 |      126 |      125
66.48/66.56	c 65.1s |       6 |    17940 |     2981 |    48645      0 |      126 |      125
68.58/68.66	c 67.2s |       6 |    18303 |     3081 |    48645      0 |      126 |      125
71.78/71.84	c 70.3s |       7 |    18929 |     3223 |    53510      0 |      126 |      125
74.38/74.42	c 72.9s |       7 |    19192 |     3323 |    53510      0 |      126 |      125
76.78/76.89	c 75.4s |       7 |    19754 |     3423 |    53510      0 |      126 |      125
80.87/80.97	c 79.5s |       7 |    20146 |     3623 |    53510      0 |      126 |      125
83.37/83.49	c 82.0s |       7 |    20407 |     3723 |    53510      0 |      126 |      125
88.08/88.20	c 86.7s |       7 |    22713 |     3923 |    53510      0 |      126 |      125
90.77/90.86	c 89.4s |       7 |    25006 |     4023 |    53510      0 |      126 |      125
94.68/94.79	c 93.3s |       7 |    27747 |     4223 |    53510      0 |      126 |      125
97.67/97.71	c 96.2s |       7 |    28712 |     4423 |    53510      0 |      126 |      125
100.77/100.88	c 99.4s |       7 |    29232 |     4623 |    53510      0 |      126 |      125
103.07/103.16	c  101s |       7 |    30691 |     4823 |    53510      0 |      126 |      125
104.58/104.61	c  103s |       8 |    32027 |     4936 |    58862      0 |      126 |      125
107.47/107.54	c  106s |       8 |    34239 |     5136 |    58862      0 |      126 |      125
109.98/110.05	c  108s |       8 |    35731 |     5436 |    58862      0 |      126 |      125
112.47/112.55	c  111s |       8 |    36682 |     5636 |    58862      0 |      126 |      125
115.27/115.35	c  113s |       8 |    37677 |     5936 |    58862      0 |      126 |      125
117.87/117.92	c  116s |       8 |    38689 |     6236 |    58862      0 |      126 |      125
120.98/121.08	c  119s |       8 |    39466 |     6436 |    58862      0 |      126 |      125
123.37/123.46	c  121s |       8 |    40358 |     6636 |    58862      0 |      126 |      125
126.27/126.31	c  124s |       8 |    41478 |     6936 |    58862      0 |      126 |      125
128.87/128.93	c  127s |       8 |    49091 |     7136 |    58862      0 |      126 |      125
132.37/132.47	c  130s |       8 |    55546 |     7236 |    58862      0 |      126 |      125
134.77/134.85	c  133s |       8 |    61866 |     7336 |    58862      0 |      126 |      125
135.87/135.98	c  134s |       9 |    62786 |     7506 |    64749      0 |      126 |      125
139.07/139.17	c  137s |       9 |    65025 |     7706 |    64749      0 |      126 |      125
142.47/142.51	c  141s |       9 |    67005 |     7906 |    64749      0 |      126 |      125
144.67/144.75	c  143s |       9 |    67648 |     8106 |    64749      0 |      126 |      125
146.66/146.79	c  145s |       9 |    68147 |     8306 |    64749      0 |      126 |      125
150.16/150.27	c  148s |       9 |    70232 |     8506 |    64749      0 |      126 |      125
152.46/152.50	c  151s |       9 |    70936 |     8706 |    64749      0 |      126 |      125
155.56/155.66	c  154s |       9 |    72718 |     8906 |    64749      0 |      126 |      125
159.47/159.50	c  158s |       9 |    74730 |     9106 |    64749      0 |      126 |      125
161.77/161.89	c  160s |       9 |    76921 |     9206 |    64749      0 |      126 |      125
163.97/164.06	c  162s |       9 |    79060 |     9306 |    64749      0 |      126 |      125
166.36/166.44	c  164s |       9 |    81800 |     9406 |    64749      0 |      126 |      125
169.26/169.31	c  167s |       9 |    83460 |     9506 |    64749      0 |      126 |      125
172.36/172.43	c  170s |       9 |    85336 |     9606 |    64749      0 |      126 |      125
175.16/175.28	c  173s |       9 |    87206 |     9706 |    64749      0 |      126 |      125
180.06/180.15	c  178s |       9 |    89632 |     9906 |    64749      0 |      126 |      125
182.26/182.34	c  180s |       9 |    90334 |    10006 |    64749      0 |      126 |      125
185.16/185.21	c  183s |       9 |    90977 |    10206 |    64749      0 |      126 |      125
188.96/189.03	c  187s |       9 |    94740 |    10406 |    64749      0 |      126 |      125
191.16/191.22	c  189s |       9 |    97126 |    10506 |    64749      0 |      126 |      125
194.66/194.73	c  193s |       9 |   101547 |    10706 |    64749      0 |      126 |      125
197.66/197.77	c  196s |       9 |   102986 |    10906 |    64749      0 |      126 |      125
200.86/200.93	c  199s |       9 |   105350 |    11106 |    64749      0 |      126 |      125
202.86/202.98	c  201s |       9 |   106861 |    11206 |    64749      0 |      126 |      125
205.15/205.24	c  203s |       9 |   108123 |    11306 |    71224      0 |      126 |      125
205.85/205.96	c  204s |      10 |   108195 |    11361 |    71224      0 |      126 |      125
209.95/210.05	c  208s |      10 |   110722 |    11561 |    71224      0 |      148 |      146
212.36/212.46	c  210s |      10 |   114076 |    11761 |    71224      0 |      148 |      146
214.85/214.97	c  213s |      10 |   115259 |    11961 |    71224      0 |      148 |      146
218.25/218.30	c  216s |      10 |   116621 |    12161 |    71224      0 |      148 |      146
220.55/220.63	c  219s |      10 |   120766 |    12361 |    71224      0 |      148 |      146
223.15/223.21	c  221s |      10 |   123287 |    12561 |    71224      0 |      148 |      146
226.35/226.42	c  224s |      10 |   126100 |    12761 |    71224      0 |      148 |      146
229.35/229.44	c  227s |      10 |   130670 |    12961 |    71224      0 |      148 |      146
233.85/233.90	c  232s |      10 |   135181 |    13161 |    71224      0 |      148 |      146
236.65/236.74	c  235s |      10 |   140725 |    13361 |    71224      0 |      148 |      146
240.25/240.36	c  238s |      10 |   142019 |    13561 |    71224      0 |      148 |      146
243.75/243.86	c  242s |      10 |   148280 |    13761 |    71224      0 |      148 |      146
247.25/247.38	c  245s |      10 |   151698 |    13961 |    71224      0 |      148 |      146
251.55/251.62	c  250s |      10 |   155727 |    14161 |    71224      0 |      148 |      146
253.95/254.07	c  252s |      10 |   156642 |    14361 |    71224      0 |      148 |      146
257.25/257.37	c  255s |      10 |   158406 |    14561 |    71224      0 |      148 |      146
260.05/260.10	c  258s |      10 |   161927 |    14761 |    71224      0 |      148 |      146
263.45/263.59	c  262s |      10 |   164429 |    14961 |    71224      0 |      148 |      146
266.55/266.66	c  265s |      10 |   167343 |    15161 |    71224      0 |      148 |      146
269.25/269.32	c  267s |      10 |   168034 |    15361 |    71224      0 |      148 |      146
272.14/272.28	c  270s |      10 |   168780 |    15561 |    71224      0 |      148 |      146
274.24/274.39	c  272s |      10 |   170269 |    15661 |    71224      0 |      148 |      146
278.14/278.21	c  276s |      10 |   172631 |    15861 |    71224      0 |      148 |      146
280.84/280.99	c  279s |      10 |   174012 |    16061 |    71224      0 |      148 |      146
284.04/284.10	c  282s |      10 |   176248 |    16261 |    71224      0 |      148 |      146
287.05/287.13	c  285s |      10 |   177679 |    16461 |    71224      0 |      148 |      146
290.04/290.18	c  288s |      10 |   181071 |    16661 |    71224      0 |      148 |      146
293.24/293.30	c  291s |      10 |   183953 |    16861 |    71224      0 |      148 |      146
296.04/296.16	c  294s |      10 |   189278 |    17061 |    78347      0 |      148 |      146
297.14/297.24	c  295s |      11 |   191221 |    17144 |    78347      0 |      148 |      146
301.84/301.98	c  300s |      11 |   193424 |    17344 |    78347      0 |      148 |      146
304.84/304.92	c  303s |      11 |   194643 |    17444 |    78347      0 |      148 |      146
307.44/307.53	c  306s |      11 |   195327 |    17544 |    78347      0 |      148 |      146
310.15/310.22	c  308s |      11 |   196203 |    17644 |    78347      0 |      148 |      146
315.14/315.25	c  313s |      11 |   197710 |    17844 |    78347      0 |      148 |      146
318.15/318.21	c  316s |      11 |   199180 |    18044 |    78347      0 |      148 |      146
321.05/321.15	c  319s |      11 |   200499 |    18344 |    78347      0 |      148 |      146
323.25/323.31	c  321s |      11 |   201161 |    18544 |    78347      0 |      148 |      146
327.75/327.82	c  326s |      11 |   202513 |    18744 |    78347      0 |      148 |      146
330.54/330.69	c  329s |      11 |   202842 |    18844 |    78347      0 |      148 |      146
333.54/333.67	c  332s |      11 |   203105 |    18944 |    78347      0 |      148 |      146
336.74/336.85	c  335s |      11 |   203354 |    19044 |    78347      0 |      148 |      146
339.24/339.39	c  337s |      11 |   203814 |    19144 |    78347      0 |      148 |      146
343.15/343.23	c  341s |      11 |   205255 |    19344 |    78347      0 |      148 |      146
345.84/345.97	c  344s |      11 |   205373 |    19444 |    78347      0 |      148 |      146
348.14/348.29	c  346s |      11 |   206548 |    19544 |    78347      0 |      148 |      146
351.64/351.77	c  350s |      11 |   209597 |    19744 |    78347      0 |      148 |      146
354.54/354.63	c  353s |      11 |   210560 |    19944 |    78347      0 |      148 |      146
357.34/357.44	c  355s |      11 |   211660 |    20044 |    78347      0 |      148 |      146
360.85/360.97	c  359s |      11 |   214129 |    20244 |    78347      0 |      148 |      146
364.05/364.18	c  362s |      11 |   215538 |    20444 |    78347      0 |      148 |      146
367.35/367.47	c  365s |      11 |   217135 |    20644 |    78347      0 |      148 |      146
370.14/370.25	c  368s |      11 |   218575 |    20844 |    78347      0 |      148 |      146
374.24/374.31	c  372s |      11 |   221678 |    21044 |    78347      0 |      148 |      146
376.34/376.49	c  374s |      11 |   222241 |    21144 |    78347      0 |      148 |      146
380.04/380.11	c  378s |      11 |   224480 |    21344 |    78347      0 |      148 |      146
382.14/382.20	c  380s |      11 |   225994 |    21444 |    78347      0 |      148 |      146
386.14/386.21	c  384s |      11 |   228711 |    21644 |    78347      0 |      148 |      146
388.44/388.57	c  387s |      11 |   230435 |    21744 |    78347      0 |      148 |      146
391.13/391.26	c  389s |      11 |   231739 |    21944 |    78347      0 |      148 |      146
393.93/394.07	c  392s |      11 |   233349 |    22144 |    78347      0 |      148 |      146
395.94/396.07	c  394s |      11 |   233734 |    22244 |    78347      0 |      148 |      146
399.03/399.19	c  397s |      11 |   235458 |    22444 |    78347      0 |      148 |      146
401.13/401.28	c  399s |      11 |   236007 |    22644 |    78347      0 |      148 |      146
405.23/405.37	c  403s |      11 |   237256 |    22844 |    78347      0 |      148 |      146
408.23/408.33	c  406s |      11 |   238167 |    22944 |    78347      0 |      148 |      146
411.73/411.88	c  410s |      11 |   239900 |    23144 |    78347      0 |      148 |      146
413.93/414.04	c  412s |      11 |   240854 |    23244 |    78347      0 |      148 |      146
416.33/416.49	c  414s |      11 |   241047 |    23344 |    78347      0 |      148 |      146
420.14/420.24	c  418s |      11 |   242543 |    23544 |    78347      0 |      148 |      146
423.23/423.39	c  421s |      11 |   243927 |    23744 |    78347      0 |      148 |      146
426.23/426.39	c  424s |      11 |   244376 |    23844 |    78347      0 |      148 |      146
429.03/429.15	c  427s |      11 |   245029 |    23944 |    78347      0 |      148 |      146
431.03/431.19	c  429s |      11 |   245724 |    24044 |    78347      0 |      148 |      146
435.53/435.62	c  434s |      11 |   247083 |    24244 |    78347      0 |      148 |      146
437.73/437.83	c  436s |      11 |   247708 |    24344 |    78347      0 |      148 |      146
440.43/440.54	c  439s |      11 |   248133 |    24544 |    78347      0 |      148 |      146
443.73/443.83	c  442s |      11 |   248466 |    24744 |    78347      0 |      148 |      146
446.33/446.41	c  444s |      11 |   248908 |    24944 |    78347      0 |      148 |      146
448.52/448.65	c  447s |      11 |   249584 |    25044 |    78347      0 |      148 |      146
452.62/452.72	c  451s |      11 |   251614 |    25244 |    78347      0 |      148 |      146
455.02/455.13	c  453s |      11 |   253827 |    25344 |    78347      0 |      148 |      146
458.02/458.16	c  456s |      11 |   256771 |    25544 |    78347      0 |      148 |      146
461.32/461.45	c  459s |      11 |   258035 |    25744 |    86182      0 |      148 |      146
463.42/463.59	c  462s |      12 |   259238 |    25819 |    86182      0 |      148 |      146
465.52/465.69	c  464s |      12 |   261324 |    25919 |    86182      0 |      148 |      146
468.02/468.12	c  466s |      12 |   262150 |    26019 |    86182      0 |      148 |      146
470.32/470.41	c  468s |      12 |   263448 |    26219 |    86182      0 |      148 |      146
473.92/474.10	c  472s |      12 |   265155 |    26419 |    86182      0 |      148 |      146
478.12/478.27	c  476s |      12 |   267202 |    26619 |    86182      0 |      148 |      146
481.42/481.52	c  480s |      12 |   268609 |    26819 |    86182      0 |      148 |      146
484.03/484.19	c  482s |      12 |   269589 |    26919 |    86182      0 |      148 |      146
487.02/487.13	c  485s |      12 |   270777 |    27019 |    86182      0 |      148 |      146
490.32/490.42	c  488s |      12 |   272516 |    27219 |    86182      0 |      148 |      146
493.12/493.28	c  491s |      12 |   273982 |    27419 |    86182      0 |      148 |      146
495.62/495.74	c  494s |      12 |   274996 |    27619 |    86182      0 |      148 |      146
498.72/498.81	c  497s |      12 |   276953 |    27819 |    86182      0 |      148 |      146
502.12/502.29	c  500s |      12 |   280896 |    28019 |    86182      0 |      148 |      146
505.22/505.36	c  503s |      12 |   282419 |    28219 |    86182      0 |      148 |      146
508.12/508.30	c  506s |      12 |   284226 |    28419 |    86182      0 |      148 |      146
511.02/511.13	c  509s |      12 |   284796 |    28619 |    86182      0 |      148 |      146
513.12/513.25	c  511s |      12 |   285427 |    28819 |    86182      0 |      148 |      146
515.71/515.84	c  514s |      12 |   285967 |    29119 |    86182      0 |      148 |      146
518.21/518.35	c  516s |      12 |   286230 |    29319 |    86182      0 |      148 |      146
520.81/520.97	c  519s |      12 |   287416 |    29519 |    86182      0 |      148 |      146
523.81/523.97	c  522s |      12 |   288515 |    29719 |    86182      0 |      148 |      146
526.21/526.38	c  524s |      12 |   288798 |    29819 |    86182      0 |      148 |      146
530.41/530.55	c  529s |      12 |   289760 |    30019 |    86182      0 |      148 |      146
532.42/532.56	c  531s |      12 |   289938 |    30119 |    86182      0 |      148 |      146
534.41/534.58	c  533s |      12 |   290433 |    30219 |    86182      0 |      148 |      146
538.01/538.10	c  536s |      12 |   291561 |    30419 |    86182      0 |      148 |      146
542.61/542.74	c  541s |      12 |   291982 |    30619 |    86182      0 |      148 |      146
544.91/545.07	c  543s |      12 |   292324 |    30719 |    86182      0 |      148 |      146
547.72/547.88	c  546s |      12 |   293135 |    30919 |    86182      0 |      148 |      146
551.31/551.43	c  549s |      12 |   293812 |    31119 |    86182      0 |      148 |      146
554.81/554.99	c  553s |      12 |   294275 |    31319 |    86182      0 |      148 |      146
557.91/558.08	c  556s |      12 |   295091 |    31519 |    86182      0 |      148 |      146
560.61/560.78	c  559s |      12 |   295711 |    31719 |    86182      0 |      148 |      146
563.81/563.98	c  562s |      12 |   296623 |    31919 |    86182      0 |      148 |      146
567.01/567.17	c  565s |      12 |   298002 |    32219 |    86182      0 |      148 |      146
570.00/570.15	c  568s |      12 |   299269 |    32419 |    86182      0 |      148 |      146
573.11/573.21	c  571s |      12 |   301115 |    32619 |    86182      0 |      148 |      146
575.90/576.03	c  574s |      12 |   302626 |    32819 |    86182      0 |      148 |      146
578.40/578.52	c  577s |      12 |   304197 |    33019 |    86182      0 |      148 |      146
582.00/582.16	c  580s |      12 |   304823 |    33219 |    86182      0 |      148 |      146
585.11/585.28	c  583s |      12 |   306834 |    33419 |    86182      0 |      148 |      146
587.20/587.31	c  585s |      12 |   310246 |    33619 |    86182      0 |      148 |      146
589.40/589.56	c  588s |      12 |   313285 |    33819 |    86182      0 |      148 |      146
592.40/592.58	c  591s |      12 |   314471 |    34019 |    86182      0 |      148 |      146
595.50/595.60	c  594s |      12 |   317206 |    34219 |    86182      0 |      148 |      146
599.00/599.17	c  597s |      12 |   318957 |    34419 |    86182      0 |      148 |      146
602.60/602.71	c  601s |      12 |   319691 |    34619 |    86182      0 |      148 |      146
605.01/605.19	c  603s |      12 |   323519 |    34819 |    86182      0 |      148 |      146
607.50/607.64	c  606s |      12 |   324934 |    34919 |    86182      0 |      148 |      146
610.10/610.24	c  608s |      12 |   326400 |    35119 |    86182      0 |      148 |      146
613.60/613.73	c  612s |      12 |   327648 |    35319 |    86182      0 |      148 |      146
616.00/616.19	c  614s |      12 |   328956 |    35519 |    86182      0 |      148 |      146
619.10/619.29	c  617s |      12 |   330118 |    35719 |    86182      0 |      148 |      146
621.90/622.06	c  620s |      12 |   331101 |    35919 |    86182      0 |      148 |      146
624.70/624.81	c  623s |      12 |   331651 |    36119 |    86182      0 |      148 |      146
627.40/627.57	c  626s |      12 |   332209 |    36419 |    86182      0 |      148 |      146
629.80/629.90	c  628s |      12 |   333033 |    36819 |    86182      0 |      148 |      146
632.19/632.40	c  630s |      12 |   334231 |    37019 |    86182      0 |      148 |      146
634.99/635.13	c  633s |      12 |   336135 |    37219 |    86182      0 |      148 |      146
638.00/638.17	c  636s |      12 |   337594 |    37419 |    86182      0 |      148 |      146
640.59/640.73	c  639s |      12 |   338782 |    37619 |    86182      0 |      148 |      146
643.99/644.11	c  642s |      12 |   339846 |    37819 |    86182      0 |      148 |      146
646.29/646.40	c  644s |      12 |   341583 |    38019 |    86182      0 |      148 |      146
648.90/649.06	c  647s |      12 |   342563 |    38219 |    86182      0 |      148 |      146
651.89/652.02	c  650s |      12 |   346669 |    38419 |    86182      0 |      148 |      146
654.59/654.72	c  653s |      12 |   350824 |    38619 |    94801      0 |      148 |      146
657.09/657.21	c  655s |      12 |   352370 |    38819 |    94801      0 |      148 |      146
657.19/657.35	c  655s |      13 |   352639 |    38832 |    94801      0 |      148 |      146
661.10/661.21	c  659s |      13 |   356461 |    39032 |    94801      0 |      148 |      146
664.19/664.40	c  662s |      13 |   357162 |    39132 |    94801      0 |      148 |      146
668.70/668.81	c  667s |      13 |   357580 |    39232 |    94801      0 |      148 |      146
673.19/673.32	c  671s |      13 |   358878 |    39332 |    94801      0 |      148 |      146
675.29/675.42	c  673s |      13 |   360081 |    39432 |    94801      0 |      148 |      146
678.09/678.23	c  676s |      13 |   360565 |    39532 |    94801      0 |      148 |      146
680.49/680.68	c  679s |      13 |   361058 |    39632 |    94801      0 |      148 |      146
685.38/685.50	c  683s |      13 |   361822 |    39832 |    94801      0 |      148 |      146
688.68/688.86	c  687s |      13 |   362106 |    40032 |    94801      0 |      148 |      146
692.08/692.26	c  690s |      13 |   362464 |    40232 |    94801      0 |      148 |      146
696.19/696.37	c  694s |      13 |   363245 |    40432 |    94801      0 |      148 |      146
699.78/699.90	c  698s |      13 |   364088 |    40632 |    94801      0 |      148 |      146
703.38/703.51	c  702s |      13 |   364627 |    40832 |    94801      0 |      148 |      146
705.58/705.76	c  704s |      13 |   364947 |    40932 |    94801      0 |      148 |      146
707.78/707.90	c  706s |      13 |   366578 |    41032 |    94801      0 |      148 |      146
711.59/711.79	c  710s |      13 |   370176 |    41232 |    94801      0 |      148 |      146
714.89/715.09	c  713s |      13 |   371119 |    41432 |    94801      0 |      148 |      146
718.58/718.76	c  717s |      13 |   371897 |    41632 |    94801      0 |      148 |      146
721.28/721.42	c  719s |      13 |   372126 |    41732 |    94801      0 |      148 |      146
725.28/725.48	c  723s |      13 |   373464 |    41932 |    94801      0 |      148 |      146
727.58/727.78	c  726s |      13 |   374135 |    42032 |    94801      0 |      148 |      146
729.68/729.80	c  728s |      13 |   375177 |    42132 |    94801      0 |      148 |      146
733.18/733.33	c  731s |      13 |   376624 |    42332 |    94801      0 |      148 |      146
737.38/737.53	c  736s |      13 |   377739 |    42532 |    94801      0 |      148 |      146
739.88/740.04	c  738s |      13 |   378143 |    42632 |    94801      0 |      148 |      146
742.18/742.36	c  740s |      13 |   378347 |    42732 |    94801      0 |      148 |      146
745.97/746.19	c  744s |      13 |   379569 |    42932 |    94801      0 |      148 |      146
750.47/750.68	c  749s |      13 |   380643 |    43132 |    94801      0 |      148 |      146
753.97/754.10	c  752s |      13 |   381438 |    43332 |    94801      0 |      148 |      146
755.97/756.14	c  754s |      13 |   382129 |    43432 |    94801      0 |      148 |      146
759.67/759.83	c  758s |      13 |   383036 |    43632 |    94801      0 |      148 |      146
761.77/761.90	c  760s |      13 |   383327 |    43732 |    94801      0 |      148 |      146
765.97/766.14	c  764s |      13 |   384001 |    43932 |    94801      0 |      148 |      146
769.27/769.46	c  767s |      13 |   385110 |    44132 |    94801      0 |      148 |      146
772.27/772.41	c  770s |      13 |   385677 |    44332 |    94801      0 |      148 |      146
776.17/776.33	c  774s |      13 |   386107 |    44532 |    94801      0 |      148 |      146
778.17/778.38	c  776s |      13 |   386849 |    44632 |    94801      0 |      148 |      146
780.17/780.38	c  778s |      13 |   387384 |    44732 |    94801      0 |      148 |      146
782.47/782.63	c  781s |      13 |   387723 |    44832 |    94801      0 |      148 |      146
784.87/785.03	c  783s |      13 |   387940 |    44932 |    94801      0 |      148 |      146
787.17/787.32	c  785s |      13 |   388359 |    45032 |    94801      0 |      148 |      146
790.88/791.09	c  789s |      13 |   389163 |    45232 |    94801      0 |      148 |      146
793.17/793.31	c  791s |      13 |   389888 |    45332 |    94801      0 |      148 |      146
796.57/796.75	c  795s |      13 |   390569 |    45532 |    94801      0 |      148 |      146
798.67/798.88	c  797s |      13 |   390910 |    45632 |    94801      0 |      148 |      146
802.57/802.76	c  801s |      13 |   391933 |    45832 |    94801      0 |      148 |      146
806.07/806.27	c  804s |      13 |   392769 |    46032 |    94801      0 |      148 |      146
809.48/809.63	c  808s |      13 |   394105 |    46232 |    94801      0 |      148 |      146
812.67/812.85	c  811s |      13 |   395150 |    46432 |    94801      0 |      148 |      146
815.97/816.11	c  814s |      13 |   396561 |    46632 |    94801      0 |      148 |      146
817.97/818.15	c  816s |      13 |   397263 |    46732 |    94801      0 |      148 |      146
821.68/821.80	c  820s |      13 |   398916 |    46932 |    94801      0 |      148 |      146
824.47/824.69	c  823s |      13 |   400282 |    47132 |    94801      0 |      148 |      146
827.77/827.99	c  826s |      13 |   401146 |    47332 |    94801      0 |      148 |      146
831.27/831.49	c  829s |      13 |   402243 |    47532 |    94801      0 |      148 |      146
834.67/834.81	c  833s |      13 |   403045 |    47732 |    94801      0 |      148 |      146
837.97/838.13	c  836s |      13 |   404059 |    47932 |    94801      0 |      148 |      146
841.37/841.54	c  840s |      13 |   404583 |    48132 |    94801      0 |      148 |      146
844.87/845.02	c  843s |      13 |   405913 |    48332 |    94801      0 |      148 |      146
848.57/848.76	c  847s |      13 |   407913 |    48532 |    94801      0 |      148 |      146
852.57/852.76	c  851s |      13 |   409081 |    48732 |    94801      0 |      148 |      146
856.06/856.28	c  854s |      13 |   410047 |    48932 |    94801      0 |      148 |      146
859.86/860.08	c  858s |      13 |   411385 |    49132 |    94801      0 |      148 |      146
861.96/862.10	c  860s |      13 |   411961 |    49232 |    94801      0 |      148 |      146
863.96/864.13	c  862s |      13 |   412578 |    49332 |    94801      0 |      148 |      146
867.66/867.86	c  866s |      13 |   413108 |    49532 |    94801      0 |      148 |      146
871.46/871.60	c  870s |      13 |   414894 |    49732 |    94801      0 |      148 |      146
875.06/875.23	c  873s |      13 |   415270 |    49832 |    94801      0 |      148 |      146
878.56/878.78	c  877s |      13 |   416775 |    50032 |    94801      0 |      148 |      146
882.46/882.62	c  881s |      13 |   418581 |    50232 |    94801      0 |      148 |      146
885.26/885.49	c  883s |      13 |   419318 |    50432 |    94801      0 |      148 |      146
889.06/889.24	c  887s |      13 |   420102 |    50532 |    94801      0 |      148 |      146
891.16/891.36	c  889s |      13 |   420834 |    50632 |    94801      0 |      148 |      146
894.36/894.59	c  893s |      13 |   421880 |    50732 |    94801      0 |      148 |      146
896.66/896.86	c  895s |      13 |   424267 |    50832 |    94801      0 |      148 |      146
901.56/901.73	c  900s |      13 |   427496 |    51032 |    94801      0 |      148 |      146
905.26/905.40	c  903s |      13 |   427873 |    51132 |    94801      0 |      148 |      146
909.76/909.98	c  908s |      13 |   428466 |    51332 |    94801      0 |      148 |      146
912.26/912.49	c  910s |      13 |   429046 |    51432 |    94801      0 |      148 |      146
915.25/915.45	c  913s |      13 |   430058 |    51532 |    94801      0 |      148 |      146
919.25/919.43	c  917s |      13 |   431402 |    51732 |    94801      0 |      148 |      146
922.65/922.83	c  921s |      13 |   432467 |    51932 |    94801      0 |      148 |      146
924.65/924.89	c  923s |      13 |   432899 |    52032 |    94801      0 |      148 |      146
928.65/928.84	c  927s |      13 |   433571 |    52232 |    94801      0 |      148 |      146
931.56/931.79	c  930s |      13 |   434137 |    52432 |    94801      0 |      148 |      146
935.05/935.29	c  933s |      13 |   434701 |    52632 |    94801      0 |      148 |      146
937.25/937.45	c  935s |      13 |   435278 |    52732 |    94801      0 |      148 |      146
940.46/940.62	c  939s |      13 |   435839 |    52932 |    94801      0 |      148 |      146
943.95/944.12	c  942s |      13 |   436595 |    53132 |    94801      0 |      148 |      146
946.15/946.36	c  944s |      13 |   437000 |    53232 |    94801      0 |      148 |      146
948.25/948.45	c  946s |      13 |   437478 |    53332 |    94801      0 |      148 |      146
950.65/950.87	c  949s |      13 |   438029 |    53432 |    94801      0 |      148 |      146
954.35/954.56	c  953s |      13 |   438851 |    53632 |    94801      0 |      148 |      146
958.45/958.63	c  957s |      13 |   439895 |    53832 |    94801      0 |      148 |      146
961.85/962.07	c  960s |      13 |   442384 |    54032 |    94801      0 |      148 |      146
964.25/964.42	c  962s |      13 |   442549 |    54132 |    94801      0 |      148 |      146
966.45/966.66	c  965s |      13 |   442948 |    54232 |    94801      0 |      148 |      146
968.95/969.16	c  967s |      13 |   443367 |    54332 |    94801      0 |      148 |      146
972.84/973.02	c  971s |      13 |   443699 |    54432 |    94801      0 |      148 |      146
974.94/975.18	c  973s |      13 |   444375 |    54532 |    94801      0 |      148 |      146
978.54/978.72	c  977s |      13 |   445318 |    54732 |    94801      0 |      148 |      146
980.74/980.99	c  979s |      13 |   445671 |    54832 |    94801      0 |      148 |      146
984.74/984.99	c  983s |      13 |   446791 |    55032 |    94801      0 |      148 |      146
986.84/987.05	c  985s |      13 |   447782 |    55132 |    94801      0 |      148 |      146
990.64/990.84	c  989s |      13 |   450215 |    55332 |    94801      0 |      148 |      146
993.04/993.22	c  991s |      13 |   451544 |    55432 |    94801      0 |      148 |      146
996.94/997.14	c  995s |      13 |   453664 |    55632 |    94801      0 |      148 |      146
1001.23/1001.45	c  999s |      13 |   454675 |    55832 |    94801      0 |      148 |      146
1006.23/1006.47	c 1004s |      13 |   455830 |    56032 |    94801      0 |      148 |      146
1009.64/1009.88	c 1008s |      13 |   456555 |    56232 |    94801      0 |      148 |      146
1011.94/1012.12	c 1010s |      13 |   456858 |    56332 |    94801      0 |      148 |      146
1014.23/1014.47	c 1012s |      13 |   457257 |    56432 |    94801      0 |      148 |      146
1016.24/1016.48	c 1014s |      13 |   457556 |    56532 |    94801      0 |      148 |      146
1019.23/1019.43	c 1017s |      13 |   458345 |    56732 |    94801      0 |      148 |      146
1021.53/1021.75	c 1020s |      13 |   458645 |    56832 |    94801      0 |      148 |      146
1023.73/1023.90	c 1022s |      13 |   458878 |    56932 |    94801      0 |      148 |      146
1026.83/1027.03	c 1025s |      13 |   460266 |    57132 |    94801      0 |      148 |      146
1029.33/1029.57	c 1028s |      13 |   460552 |    57232 |    94801      0 |      148 |      146
1033.33/1033.54	c 1032s |      13 |   461041 |    57432 |    94801      0 |      148 |      146
1036.03/1036.21	c 1034s |      13 |   461165 |    57532 |    94801      0 |      148 |      146
1038.33/1038.51	c 1037s |      13 |   461365 |    57632 |    94801      0 |      148 |      146
1041.53/1041.75	c 1040s |      13 |   462562 |    57832 |    94801      0 |      148 |      146
1044.42/1044.69	c 1043s |      13 |   464106 |    58032 |   104282      0 |      148 |      146
1047.52/1047.71	c 1046s |      13 |   464717 |    58132 |   104282      0 |      148 |      146
1051.22/1051.47	c 1049s |      13 |   465107 |    58232 |   104282      0 |      148 |      146
1053.42/1053.62	c 1052s |      13 |   465508 |    58332 |   104282      0 |      148 |      146
1053.73/1053.95	c 1052s |      14 |   465532 |    58352 |   104282      0 |      148 |      146
1057.12/1057.33	c 1055s |      14 |   466278 |    58552 |   104282      0 |      148 |      146
1059.92/1060.13	c 1058s |      14 |   467413 |    58752 |   104282      0 |      148 |      146
1061.92/1062.16	c 1060s |      14 |   468045 |    58852 |   104282      0 |      148 |      146
1065.22/1065.41	c 1063s |      14 |   469098 |    59052 |   104282      0 |      148 |      146
1067.82/1068.00	c 1066s |      14 |   470620 |    59252 |   104282      0 |      148 |      146
1070.02/1070.29	c 1068s |      14 |   471624 |    59452 |   104282      0 |      148 |      146
1072.42/1072.61	c 1071s |      14 |   472572 |    59652 |   104282      0 |      148 |      146
1075.01/1075.22	c 1073s |      14 |   473766 |    59852 |   104282      0 |      148 |      146
1078.01/1078.21	c 1076s |      14 |   474593 |    60052 |   104282      0 |      148 |      146
1080.91/1081.10	c 1079s |      14 |   475148 |    60252 |   104282      0 |      148 |      146
1083.61/1083.88	c 1082s |      14 |   475722 |    60452 |   104282      0 |      148 |      146
1085.91/1086.13	c 1084s |      14 |   476136 |    60652 |   104282      0 |      148 |      146
1088.01/1088.21	c 1086s |      14 |   476953 |    60852 |   104282      0 |      148 |      146
1090.61/1090.83	c 1089s |      14 |   477870 |    61052 |   104282      0 |      148 |      146
1093.41/1093.61	c 1092s |      14 |   478488 |    61252 |   104282      0 |      148 |      146
1095.51/1095.73	c 1094s |      14 |   479026 |    61452 |   104282      0 |      148 |      146
1097.91/1098.16	c 1096s |      14 |   479722 |    61652 |   104282      0 |      148 |      146
1100.41/1100.63	c 1099s |      14 |   480095 |    61852 |   104282      0 |      148 |      146
1102.81/1103.07	c 1101s |      14 |   480454 |    62052 |   104282      0 |      148 |      146
1105.70/1105.95	c 1104s |      14 |   481106 |    62252 |   104282      0 |      148 |      146
1108.00/1108.29	c 1106s |      14 |   481862 |    62352 |   104282      0 |      148 |      146
1111.10/1111.40	c 1109s |      14 |   482462 |    62552 |   104282      0 |      148 |      146
1113.40/1113.66	c 1112s |      14 |   482754 |    62652 |   104282      0 |      148 |      146
1116.10/1116.31	c 1114s |      14 |   483029 |    62752 |   104282      0 |      148 |      146
1119.10/1119.35	c 1117s |      14 |   484679 |    62952 |   104282      0 |      148 |      146
1121.81/1122.04	c 1120s |      14 |   485807 |    63152 |   104282      0 |      148 |      146
1124.01/1124.21	c 1122s |      14 |   486895 |    63352 |   104282      0 |      148 |      146
1126.40/1126.60	c 1125s |      14 |   487492 |    63552 |   104282      0 |      148 |      146
1129.70/1129.96	c 1128s |      14 |   488763 |    63752 |   104282      0 |      148 |      146
1132.50/1132.76	c 1131s |      14 |   489127 |    63852 |   104282      0 |      148 |      146
1134.90/1135.15	c 1133s |      14 |   489693 |    64052 |   104282      0 |      148 |      146
1137.00/1137.27	c 1135s |      14 |   490272 |    64252 |   104282      0 |      148 |      146
1140.50/1140.74	c 1139s |      14 |   491131 |    64452 |   104282      0 |      148 |      146
1142.99/1143.21	c 1141s |      14 |   491519 |    64552 |   104282      0 |      148 |      146
1145.39/1145.65	c 1144s |      14 |   492558 |    64752 |   104282      0 |      148 |      146
1148.30/1148.51	c 1147s |      14 |   493081 |    64952 |   104282      0 |      148 |      146
1150.99/1151.27	c 1149s |      14 |   493828 |    65152 |   104282      0 |      148 |      146
1153.29/1153.52	c 1152s |      14 |   494484 |    65352 |   104282      0 |      148 |      146
1155.49/1155.78	c 1154s |      14 |   495426 |    65552 |   104282      0 |      148 |      146
1157.99/1158.28	c 1156s |      14 |   495921 |    65852 |   104282      0 |      148 |      146
1161.19/1161.45	c 1159s |      14 |   496532 |    66152 |   104282      0 |      148 |      146
1164.29/1164.59	c 1163s |      14 |   497422 |    66452 |   104282      0 |      148 |      146
1167.79/1168.01	c 1166s |      14 |   498006 |    66752 |   104282      0 |      148 |      146
1170.49/1170.72	c 1169s |      14 |   498420 |    66952 |   104282      0 |      148 |      146
1172.78/1173.03	c 1171s |      14 |   499032 |    67152 |   104282      0 |      148 |      146
1175.08/1175.36	c 1173s |      14 |   499770 |    67352 |   104282      0 |      148 |      146
1177.38/1177.61	c 1176s |      14 |   500187 |    67552 |   104282      0 |      148 |      146
1179.78/1180.05	c 1178s |      14 |   500708 |    67752 |   104282      0 |      148 |      146
1181.88/1182.14	c 1180s |      14 |   501238 |    67952 |   104282      0 |      148 |      146
1184.08/1184.34	c 1182s |      14 |   501687 |    68152 |   104282      0 |      148 |      146
1186.68/1186.97	c 1185s |      14 |   502222 |    68352 |   104282      0 |      148 |      146
1189.38/1189.67	c 1188s |      14 |   503120 |    68552 |   104282      0 |      148 |      146
1192.28/1192.59	c 1191s |      14 |   504137 |    68752 |   104282      0 |      148 |      146
1195.87/1196.19	c 1194s |      14 |   504561 |    68952 |   104282      0 |      148 |      146
1198.78/1199.03	c 1197s |      14 |   505256 |    69152 |   104282      0 |      148 |      146
1201.08/1201.36	c 1199s |      14 |   505631 |    69352 |   104282      0 |      148 |      146
1204.27/1204.55	c 1203s |      14 |   506068 |    69552 |   104282      0 |      148 |      146
1207.37/1207.66	c 1206s |      14 |   506555 |    69752 |   104282      0 |      148 |      146
1210.77/1211.05	c 1209s |      14 |   506971 |    69952 |   104282      0 |      148 |      146
1214.07/1214.32	c 1212s |      14 |   507328 |    70152 |   104282      0 |      148 |      146
1217.96/1218.26	c 1216s |      14 |   507912 |    70352 |   104282      0 |      148 |      146
1220.26/1220.58	c 1219s |      14 |   508478 |    70552 |   104282      0 |      148 |      146
1222.66/1222.95	c 1221s |      14 |   508913 |    70752 |   104282      0 |      148 |      146
1225.66/1225.90	c 1224s |      14 |   509653 |    70952 |   104282      0 |      148 |      146
1228.06/1228.37	c 1226s |      14 |   510196 |    71152 |   104282      0 |      148 |      146
1231.56/1231.88	c 1230s |      14 |   510698 |    71452 |   104282      0 |      148 |      146
1233.76/1234.01	c 1232s |      14 |   511006 |    71552 |   104282      0 |      148 |      146
1236.46/1236.72	c 1235s |      14 |   511342 |    71752 |   104282      0 |      148 |      146
1238.66/1238.99	c 1237s |      14 |   511718 |    71952 |   104282      0 |      148 |      146
1241.15/1241.45	c 1239s |      14 |   512240 |    72152 |   104282      0 |      148 |      146
1243.75/1244.01	c 1242s |      14 |   512496 |    72352 |   104282      0 |      148 |      146
1246.16/1246.48	c 1244s |      14 |   512816 |    72552 |   104282      0 |      148 |      146
1249.36/1249.66	c 1248s |      14 |   513132 |    72752 |   104282      0 |      148 |      146
1251.65/1251.91	c 1250s |      14 |   513495 |    72952 |   104282      0 |      148 |      146
1254.25/1254.54	c 1253s |      14 |   513887 |    73152 |   104282      0 |      148 |      146
1258.25/1258.57	c 1257s |      14 |   514616 |    73352 |   104282      0 |      148 |      146
1260.85/1261.15	c 1259s |      14 |   515022 |    73452 |   104282      0 |      148 |      146
1264.04/1264.38	c 1262s |      14 |   515599 |    73652 |   104282      0 |      148 |      146
1267.54/1267.88	c 1266s |      14 |   516010 |    73852 |   104282      0 |      148 |      146
1271.14/1271.43	c 1269s |      14 |   516725 |    74052 |   104282      0 |      148 |      146
1273.24/1273.58	c 1272s |      14 |   516905 |    74152 |   104282      0 |      148 |      146
1276.14/1276.41	c 1274s |      14 |   517603 |    74352 |   104282      0 |      148 |      146
1278.34/1278.67	c 1277s |      14 |   518482 |    74552 |   104282      0 |      148 |      146
1280.84/1281.15	c 1279s |      14 |   519223 |    74752 |   104282      0 |      148 |      146
1283.14/1283.41	c 1281s |      14 |   520038 |    74952 |   104282      0 |      148 |      146
1286.14/1286.42	c 1284s |      14 |   520465 |    75152 |   104282      0 |      148 |      146
1288.95/1289.21	c 1287s |      14 |   521775 |    75352 |   104282      0 |      148 |      146
1293.03/1293.35	c 1291s |      14 |   522665 |    75552 |   104282      0 |      148 |      146
1296.83/1297.13	c 1295s |      14 |   523681 |    75752 |   104282      0 |      148 |      146
1299.83/1300.20	c 1298s |      14 |   524016 |    75952 |   104282      0 |      148 |      146
1303.83/1304.18	c 1302s |      14 |   524861 |    76152 |   104282      0 |      148 |      146
1306.03/1306.38	c 1304s |      14 |   525304 |    76252 |   104282      0 |      148 |      146
1308.33/1308.67	c 1307s |      14 |   525589 |    76352 |   104282      0 |      148 |      146
1311.32/1311.61	c 1310s |      14 |   525992 |    76552 |   104282      0 |      148 |      146
1313.82/1314.17	c 1312s |      14 |   526509 |    76752 |   104282      0 |      148 |      146
1316.72/1317.09	c 1315s |      14 |   526970 |    76952 |   104282      0 |      148 |      146
1319.02/1319.35	c 1317s |      14 |   527326 |    77152 |   104282      0 |      148 |      146
1321.32/1321.69	c 1320s |      14 |   527675 |    77352 |   104282      0 |      148 |      146
1324.52/1324.84	c 1323s |      14 |   528100 |    77552 |   104282      0 |      148 |      146
1327.62/1327.91	c 1326s |      14 |   528439 |    77752 |   104282      0 |      148 |      146
1330.91/1331.22	c 1329s |      14 |   528827 |    77952 |   104282      0 |      148 |      146
1333.02/1333.34	c 1331s |      14 |   529073 |    78152 |   104282      0 |      148 |      146
1336.61/1336.97	c 1335s |      14 |   529425 |    78352 |   104282      0 |      148 |      146
1339.62/1339.96	c 1338s |      14 |   529783 |    78552 |   104282      0 |      148 |      146
1341.82/1342.15	c 1340s |      14 |   530229 |    78752 |   104282      0 |      148 |      146
1344.31/1344.63	c 1343s |      14 |   530653 |    78952 |   104282      0 |      148 |      146
1346.91/1347.28	c 1345s |      14 |   531264 |    79152 |   104282      0 |      148 |      146
1349.51/1349.82	c 1348s |      14 |   531841 |    79352 |   104282      0 |      148 |      146
1352.50/1352.81	c 1351s |      14 |   532325 |    79652 |   104282      0 |      148 |      146
1354.60/1354.94	c 1353s |      14 |   532637 |    79852 |   104282      0 |      148 |      146
1357.21/1357.55	c 1356s |      14 |   533745 |    80152 |   104282      0 |      148 |      146
1359.20/1359.58	c 1358s |      14 |   534909 |    80352 |   104282      0 |      148 |      146
1361.61/1361.98	c 1360s |      14 |   535793 |    80552 |   104282      0 |      148 |      146
1364.70/1365.02	c 1363s |      14 |   536449 |    80852 |   104282      0 |      148 |      146
1367.40/1367.78	c 1366s |      14 |   537283 |    81152 |   104282      0 |      148 |      146
1370.10/1370.42	c 1368s |      14 |   537626 |    81352 |   104282      0 |      148 |      146
1372.20/1372.50	c 1371s |      14 |   538023 |    81552 |   104282      0 |      148 |      146
1375.10/1375.41	c 1373s |      14 |   538473 |    81752 |   104282      0 |      148 |      146
1377.90/1378.26	c 1376s |      14 |   539086 |    81952 |   104282      0 |      148 |      146
1380.80/1381.13	c 1379s |      14 |   539601 |    82152 |   104282      0 |      148 |      146
1383.20/1383.57	c 1382s |      14 |   540060 |    82352 |   104282      0 |      148 |      146
1385.30/1385.63	c 1384s |      14 |   540469 |    82552 |   104282      0 |      148 |      146
1387.60/1387.93	c 1386s |      14 |   541394 |    82752 |   104282      0 |      148 |      146
1389.70/1390.07	c 1388s |      14 |   541790 |    82952 |   104282      0 |      148 |      146
1393.20/1393.57	c 1392s |      14 |   542404 |    83252 |   104282      0 |      148 |      146
1395.40/1395.70	c 1394s |      14 |   542845 |    83452 |   104282      0 |      148 |      146
1397.50/1397.83	c 1396s |      14 |   543232 |    83652 |   104282      0 |      148 |      146
1400.00/1400.40	c 1398s |      14 |   544827 |    83852 |   104282      0 |      148 |      146
1402.09/1402.47	c 1400s |      14 |   545842 |    83952 |   104282      0 |      148 |      146
1404.09/1404.49	c 1402s |      14 |   546383 |    84052 |   104282      0 |      148 |      146
1406.49/1406.81	c 1405s |      14 |   546802 |    84152 |   104282      0 |      148 |      146
1408.69/1409.09	c 1407s |      14 |   550576 |    84352 |   104282      0 |      148 |      146
1411.59/1411.98	c 1410s |      14 |   552156 |    84552 |   104282      0 |      148 |      146
1415.79/1416.14	c 1414s |      14 |   552653 |    84752 |   104282      0 |      148 |      146
1419.69/1420.09	c 1418s |      14 |   553143 |    84952 |   104282      0 |      148 |      146
1422.19/1422.59	c 1421s |      14 |   553454 |    85052 |   104282      0 |      148 |      146
1425.49/1425.81	c 1424s |      14 |   554093 |    85252 |   104282      0 |      148 |      146
1428.89/1429.21	c 1427s |      14 |   554632 |    85452 |   104282      0 |      148 |      146
1430.89/1431.25	c 1429s |      14 |   554769 |    85552 |   104282      0 |      148 |      146
1436.09/1436.42	c 1434s |      14 |   555225 |    85752 |   104282      0 |      148 |      146
1440.48/1440.86	c 1439s |      14 |   555794 |    85952 |   104282      0 |      148 |      146
1442.99/1443.37	c 1441s |      14 |   556066 |    86052 |   104282      0 |      148 |      146
1445.88/1446.26	c 1444s |      14 |   556274 |    86152 |   104282      0 |      148 |      146
1448.08/1448.40	c 1446s |      14 |   556441 |    86252 |   104282      0 |      148 |      146
1450.18/1450.51	c 1449s |      14 |   556638 |    86352 |   104282      0 |      148 |      146
1452.48/1452.88	c 1451s |      14 |   556840 |    86452 |   104282      0 |      148 |      146
1455.68/1456.05	c 1454s |      14 |   557199 |    86652 |   104282      0 |      148 |      146
1459.48/1459.85	c 1458s |      14 |   557616 |    86852 |   104282      0 |      148 |      146
1462.68/1463.02	c 1461s |      14 |   558115 |    87052 |   114711      0 |      148 |      146
1466.08/1466.46	c 1464s |      14 |   558461 |    87252 |   114711      0 |      148 |      146
1468.47/1468.83	c 1467s |      14 |   558700 |    87352 |   114711      0 |      148 |      146
1471.37/1471.73	c 1470s |      14 |   559399 |    87552 |   114711      0 |      148 |      146
1472.77/1473.11	c 1471s |      15 |   559673 |    87632 |   114711      0 |      148 |      146
1476.27/1476.64	c 1475s |      15 |   560593 |    87832 |   114711      0 |      148 |      146
1479.28/1479.65	c 1478s |      15 |   561496 |    88032 |   114711      0 |      148 |      146
1482.67/1483.05	c 1481s |      15 |   562095 |    88232 |   114711      0 |      148 |      146
1486.07/1486.43	c 1484s |      15 |   562607 |    88432 |   114711      0 |      148 |      146
1489.46/1489.86	c 1488s |      15 |   563061 |    88632 |   114711      0 |      148 |      146
1492.06/1492.42	c 1490s |      15 |   563584 |    88732 |   114711      0 |      148 |      146
1494.06/1494.44	c 1492s |      15 |   563800 |    88832 |   114711      0 |      148 |      146
1496.66/1497.00	c 1495s |      15 |   563973 |    88932 |   114711      0 |      148 |      146
1500.16/1500.55	c 1499s |      15 |   564524 |    89132 |   114711      0 |      148 |      146
1502.96/1503.38	c 1501s |      15 |   565001 |    89232 |   114711      0 |      148 |      146
1505.66/1506.07	c 1504s |      15 |   565392 |    89432 |   114711      0 |      148 |      146
1509.05/1509.47	c 1507s |      15 |   565873 |    89632 |   114711      0 |      148 |      146
1511.65/1512.01	c 1510s |      15 |   566007 |    89732 |   114711      0 |      148 |      146
1515.25/1515.64	c 1514s |      15 |   566261 |    89932 |   114711      0 |      148 |      146
1517.85/1518.25	c 1516s |      15 |   566681 |    90132 |   114711      0 |      148 |      146
1521.24/1521.61	c 1520s |      15 |   566945 |    90332 |   114711      0 |      148 |      146
1524.44/1524.81	c 1523s |      15 |   567277 |    90532 |   114711      0 |      148 |      146
1527.34/1527.76	c 1526s |      15 |   567727 |    90732 |   114711      0 |      148 |      146
1530.14/1530.54	c 1529s |      15 |   568287 |    90932 |   114711      0 |      148 |      146
1532.84/1533.28	c 1531s |      15 |   568874 |    91132 |   114711      0 |      148 |      146
1535.84/1536.24	c 1534s |      15 |   570175 |    91332 |   114711      0 |      148 |      146
1540.04/1540.48	c 1538s |      15 |   570824 |    91532 |   114711      0 |      148 |      146
1543.23/1543.66	c 1542s |      15 |   571781 |    91732 |   114711      0 |      148 |      146
1546.13/1546.51	c 1545s |      15 |   572336 |    91932 |   114711      0 |      148 |      146
1549.64/1550.03	c 1548s |      15 |   572784 |    92132 |   114711      0 |      148 |      146
1552.73/1553.17	c 1551s |      15 |   573162 |    92332 |   114711      0 |      148 |      146
1556.24/1556.68	c 1555s |      15 |   573511 |    92532 |   114711      0 |      148 |      146
1559.63/1560.07	c 1558s |      15 |   574143 |    92732 |   114711      0 |      148 |      146
1563.63/1564.07	c 1562s |      15 |   577234 |    92932 |   114711      0 |      148 |      146
1566.83/1567.23	c 1565s |      15 |   580241 |    93132 |   114711      0 |      148 |      146
1570.62/1571.00	c 1569s |      15 |   581918 |    93332 |   114711      0 |      148 |      146
1572.63/1573.10	c 1571s |      15 |   582338 |    93432 |   114711      0 |      148 |      146
1576.22/1576.63	c 1575s |      15 |   583093 |    93632 |   114711      0 |      148 |      146
1579.33/1579.74	c 1578s |      15 |   583466 |    93832 |   114711      0 |      148 |      146
1582.42/1582.82	c 1581s |      15 |   583904 |    94032 |   114711      0 |      148 |      146
1585.42/1585.80	c 1584s |      15 |   584280 |    94232 |   114711      0 |      148 |      146
1588.52/1588.97	c 1587s |      15 |   585127 |    94432 |   114711      0 |      148 |      146
1591.12/1591.55	c 1590s |      15 |   585611 |    94632 |   114711      0 |      148 |      146
1594.32/1594.79	c 1593s |      15 |   586205 |    94832 |   114711      0 |      148 |      146
1597.22/1597.63	c 1596s |      15 |   586879 |    95032 |   114711      0 |      148 |      146
1600.12/1600.59	c 1599s |      15 |   587290 |    95232 |   114711      0 |      148 |      146
1602.21/1602.68	c 1601s |      15 |   587638 |    95332 |   114711      0 |      148 |      146
1605.31/1605.79	c 1604s |      15 |   588219 |    95532 |   114711      0 |      148 |      146
1607.82/1608.26	c 1606s |      15 |   588463 |    95632 |   114711      0 |      148 |      146
1612.01/1612.40	c 1610s |      15 |   589181 |    95832 |   114711      0 |      148 |      146
1616.41/1616.81	c 1615s |      15 |   589689 |    96032 |   114711      0 |      148 |      146
1619.92/1620.40	c 1618s |      15 |   590243 |    96232 |   114711      0 |      148 |      146
1622.81/1623.22	c 1621s |      15 |   591093 |    96432 |   114711      0 |      148 |      146
1625.11/1625.52	c 1624s |      15 |   591407 |    96532 |   114711      0 |      148 |      146
1627.21/1627.62	c 1626s |      15 |   591563 |    96632 |   114711      0 |      148 |      146
1629.21/1629.69	c 1628s |      15 |   592198 |    96732 |   114711      0 |      148 |      146
1632.40/1632.87	c 1631s |      15 |   593028 |    96932 |   114711      0 |      148 |      146
1636.00/1636.42	c 1634s |      15 |   593642 |    97132 |   114711      0 |      148 |      146
1639.71/1640.20	c 1638s |      15 |   594142 |    97332 |   114711      0 |      148 |      146
1643.40/1643.85	c 1642s |      15 |   594733 |    97532 |   114711      0 |      148 |      146
1647.60/1648.09	c 1646s |      15 |   595139 |    97732 |   114711      0 |      148 |      146
1652.30/1652.70	c 1651s |      15 |   595276 |    97832 |   114711      0 |      148 |      146
1654.50/1654.94	c 1653s |      15 |   595637 |    97932 |   114711      0 |      148 |      146
1656.70/1657.18	c 1655s |      15 |   595907 |    98032 |   114711      0 |      148 |      146
1659.10/1659.52	c 1658s |      15 |   596357 |    98132 |   114711      0 |      148 |      146
1662.20/1662.66	c 1661s |      15 |   597192 |    98332 |   114711      0 |      148 |      146
1665.01/1665.50	c 1663s |      15 |   597698 |    98532 |   114711      0 |      148 |      146
1668.10/1668.51	c 1667s |      15 |   598097 |    98732 |   114711      0 |      148 |      146
1671.20/1671.63	c 1670s |      15 |   598469 |    98932 |   114711      0 |      148 |      146
1674.80/1675.20	c 1673s |      15 |   598979 |    99132 |   114711      0 |      148 |      146
1678.40/1678.87	c 1677s |      15 |   599394 |    99332 |   114711      0 |      148 |      146
1680.50/1680.97	c 1679s |      15 |   599831 |    99432 |   114711      0 |      148 |      146
1683.00/1683.42	c 1681s |      15 |   600141 |    99532 |   114711      0 |      148 |      146
1686.20/1686.64	c 1685s |      15 |   600594 |    99732 |   114711      0 |      148 |      146
1688.80/1689.21	c 1687s |      15 |   601163 |    99932 |   114711      0 |      148 |      146
1691.09/1691.51	c 1690s |      15 |   601495 |   100032 |   114711      0 |      148 |      146
1694.39/1694.82	c 1693s |      15 |   602035 |   100232 |   114711      0 |      148 |      146
1697.79/1698.29	c 1696s |      15 |   602576 |   100432 |   114711      0 |      148 |      146
1701.59/1702.03	c 1700s |      15 |   603266 |   100632 |   114711      0 |      148 |      146
1704.60/1705.01	c 1703s |      15 |   605392 |   100832 |   114711      0 |      148 |      146
1708.00/1708.44	c 1706s |      15 |   608615 |   101032 |   114711      0 |      148 |      146
1711.59/1712.06	c 1710s |      15 |   609909 |   101232 |   114711      0 |      148 |      146
1715.29/1715.76	c 1714s |      15 |   610439 |   101432 |   114711      0 |      148 |      146
1718.49/1718.96	c 1717s |      15 |   610871 |   101632 |   114711      0 |      148 |      146
1722.20/1722.68	c 1721s |      15 |   611224 |   101832 |   114711      0 |      148 |      146
1725.09/1725.58	c 1724s |      15 |   611629 |   102032 |   114711      0 |      148 |      146
1727.19/1727.62	c 1726s |      15 |   611859 |   102132 |   114711      0 |      148 |      146
1730.19/1730.60	c 1729s |      15 |   612150 |   102332 |   114711      0 |      148 |      146
1732.39/1732.88	c 1731s |      15 |   612682 |   102532 |   114711      0 |      148 |      146
1737.19/1737.63	c 1736s |      15 |   613136 |   102732 |   114711      0 |      148 |      146
1740.09/1740.60	c 1739s |      15 |   613462 |   102832 |   114711      0 |      148 |      146
1743.19/1743.67	c 1742s |      15 |   613777 |   102932 |   114711      0 |      148 |      146
1746.09/1746.54	c 1745s |      15 |   614074 |   103032 |   114711      0 |      148 |      146
1748.39/1748.85	c 1747s |      15 |   614252 |   103132 |   114711      0 |      148 |      146
1752.78/1753.24	c 1751s |      15 |   614701 |   103332 |   114711      0 |      148 |      146
1754.98/1755.44	c 1753s |      15 |   614969 |   103432 |   114711      0 |      148 |      146
1757.39/1757.89	c 1756s |      15 |   615370 |   103532 |   114711      0 |      148 |      146
1760.08/1760.52	c 1759s |      15 |   615708 |   103632 |   114711      0 |      148 |      146
1763.78/1764.23	c 1762s |      15 |   616202 |   103832 |   114711      0 |      148 |      146
1767.58/1768.05	c 1766s |      15 |   616712 |   104032 |   114711      0 |      148 |      146
1771.18/1771.65	c 1770s |      15 |   617352 |   104232 |   114711      0 |      148 |      146
1774.18/1774.67	c 1773s |      15 |   618472 |   104432 |   114711      0 |      148 |      146
1776.38/1776.82	c 1775s |      15 |   618801 |   104532 |   114711      0 |      148 |      146
1779.88/1780.31	c 1778s |      15 |   619612 |   104732 |   114711      0 |      148 |      146
1783.68/1784.18	c 1782s |      15 |   620119 |   104932 |   114711      0 |      148 |      146
1787.98/1788.45	c 1786s |      15 |   621062 |   105132 |   114711      0 |      148 |      146
1790.08/1790.58	c 1789s |      15 |   621262 |   105232 |   114711      0 |      148 |      146
1793.69/1794.11	c 1792s |      15 |   621956 |   105332 |   114711      0 |      148 |      146
1797.08/1797.53	c 1796s |      15 |   622655 |   105532 |   114711      0 |      148 |      146
1799.98/1800.42	c 1798s |      15 |   623030 |   105732 |   114711      0 |      148 |      146

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

pid=10763
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.26 2.25 2.23 2/179 10766
/proc/meminfo: memFree=29148948/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 2774 0 0 0 0 0 0 0 20 0 4 0 110889879 760672256 3135 33554432000 4194304 16246674 140735498739088 140735498738512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 186223 3144 441 2943 0 183117 0
[pid=10766/tid=10767] ppid=10763 vsize=761276 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 779546624 3204 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=765372 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 783740928 3222 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110889879 787935232 3239 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.26 2.25 2.23 2/179 10766
/proc/meminfo: memFree=29148948/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 29080 0 0 0 6 3 0 0 20 0 4 0 110889879 1333334016 29379 33554432000 4194304 16246674 140735498739088 140735498738400 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 325521 29392 801 2943 0 322415 0
[pid=10766/tid=10767] ppid=10763 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1333334016 29403 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1333334016 29415 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1333334016 29425 33554432000 4194304 16246674 140735498739088 140646589385904 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.200524 s]
/proc/loadavg: 2.26 2.25 2.23 2/179 10766
/proc/meminfo: memFree=29148948/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 45959 0 0 0 13 6 0 0 20 0 4 0 110889879 1344868352 46768 33554432000 4194304 16246674 140735498739088 140735498738400 7367964 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328337 46768 801 2943 0 325231 0
[pid=10766/tid=10767] ppid=10763 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1344868352 46768 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1344868352 46768 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1344868352 46768 33554432000 4194304 16246674 140735498739088 140646589385904 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.300507 s]
/proc/loadavg: 2.26 2.25 2.23 2/179 10766
/proc/meminfo: memFree=29148948/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 56051 0 0 0 22 7 0 0 20 0 4 0 110889879 1344868352 56860 33554432000 4194304 16246674 140735498739088 140735498738400 4207606 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328337 56860 801 2943 0 325231 0
[pid=10766/tid=10767] ppid=10763 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1344868352 56860 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1344868352 56860 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1344868352 56860 33554432000 4194304 16246674 140735498739088 140646589385904 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.700407 s]
/proc/loadavg: 2.26 2.25 2.23 2/179 10766
/proc/meminfo: memFree=29148948/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 86837 0 0 0 57 12 0 0 20 0 4 0 110889879 1346965504 87646 33554432000 4194304 16246674 140735498739088 140735498738400 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 87655 837 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 87661 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 87666 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 87672 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396

[startup+1.50042 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 10770
/proc/meminfo: memFree=28489512/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1.49 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 216654 0 0 0 118 31 0 0 20 0 4 0 110889879 1346965504 217463 33554432000 4194304 16246674 140735498739088 140735498738400 13905298 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 217463 843 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 217463 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 217463 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 217463 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396

[startup+3.10042 s]
/proc/loadavg: 2.26 2.25 2.23 3/183 10770
/proc/meminfo: memFree=28280068/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=3.09 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 216709 0 0 0 278 31 0 0 20 0 4 0 110889879 1346965504 217518 33554432000 4194304 16246674 140735498739088 140735498720960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 217518 898 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 217518 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 217518 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 217518 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396

[startup+6.30042 s]
/proc/loadavg: 2.24 2.24 2.23 3/183 10770
/proc/meminfo: memFree=28068400/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269535 0 0 0 591 38 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140735498720960 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270344 898 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1315396

[startup+12.7004 s]
/proc/loadavg: 2.22 2.24 2.23 3/183 10770
/proc/meminfo: memFree=28068628/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269535 0 0 0 1231 38 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140735498720960 13820966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270344 898 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.25 2.24 2.23 4/183 10770
/proc/meminfo: memFree=28069192/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=25.48 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269535 0 0 0 2510 38 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140735498720960 5722040 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270344 898 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.43 2.29 2.24 3/183 10770
/proc/meminfo: memFree=28069196/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269535 0 0 0 5070 38 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140735498720960 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270344 898 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396

[startup+102.3 s]
/proc/loadavg: 2.29 2.27 2.24 3/183 10771
/proc/meminfo: memFree=28069156/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269535 0 0 0 10190 38 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140735498720960 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270344 898 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270344 33554432000 4194304 16246674 140735498739088 140646589385904 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) 1315396


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

/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.13 2.20 2.23 3/183 10874
/proc/meminfo: memFree=28065920/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1362 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269682 0 0 0 136160 40 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.09 2.17 2.22 4/183 10875
/proc/meminfo: memFree=28066092/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1422 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269696 0 0 0 142159 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 12483664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.21 3/183 10876
/proc/meminfo: memFree=28065868/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1481.97 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269723 0 0 0 148156 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.17 2.18 2.21 3/183 10878
/proc/meminfo: memFree=28065656/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1541.94 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269757 0 0 0 154153 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.14 2.17 2.20 4/183 10879
/proc/meminfo: memFree=28065628/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1601.91 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269777 0 0 0 160150 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5723034 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.23 2.18 2.20 3/184 10883
/proc/meminfo: memFree=28065700/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1661.9 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269785 0 0 0 166149 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 13927229 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.13 2.16 2.19 4/183 10884
/proc/meminfo: memFree=28065612/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1721.89 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269785 0 0 0 172148 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.12 2.16 2.18 4/183 10885
/proc/meminfo: memFree=28065108/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1781.88 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269785 0 0 0 178147 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5828696 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.22 2.18 2.19 3/183 10886
/proc/meminfo: memFree=28065340/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1800.08 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269785 0 0 0 179967 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.22 2.18 2.19 3/183 10886
/proc/meminfo: memFree=28065340/32872528 swapFree=16384/1696552
[pid=10766] ppid=10763 vsize=1315396 CPUtime=1800.08 cores=1,3,5,7
/proc/10766/stat : 10766 (toysat) R 10763 10766 5723 0 -1 4202496 269785 0 0 0 179967 41 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140735498720960 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10766/statm: 328849 270349 902 2943 0 325743 0
[pid=10766/tid=10767] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10767/stat : 10767 (toysat) S 10763 10766 5723 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646610349296 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10766/tid=10768] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10768/stat : 10768 (toysat) S 10763 10766 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646599859440 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10766/tid=10769] ppid=10763 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/10766/task/10769/stat : 10769 (toysat) S 10763 10766 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 110889879 1346965504 270349 33554432000 4194304 16246674 140735498739088 140646589385904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.68
CPU system time (s): 0.414936
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.68
system time used= 0.414936
maximum resident set size= 1081396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269785
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= 260
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41333 second user time and 7.08092 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 10:52:48
IDJOB=4080048
IDBENCH=90490
IDSOLVER=2542
FILE ID=node125/4080048-1465289568
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_50null50mast_rapportOE2.0_TMAX120_K67_cod2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080048-1465289568/watcher-4080048-1465289568 -o /tmp/evaluation-result-4080048-1465289568/solver-4080048-1465289568 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080048-1465289568.opb

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

MD5SUM BENCH= d0d226c540b75eb8b7499ce62f8d731e
RANDOM SEED=2057542374

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29150120 kB
Buffers:           38556 kB
Cached:           157836 kB
SwapCached:         1700 kB
Active:          1145212 kB
Inactive:         134776 kB
Active(anon):    1081144 kB
Inactive(anon):     4772 kB
Active(file):      64068 kB
Inactive(file):   130004 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:             18832 kB
Writeback:             0 kB
AnonPages:       2779764 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             609736 kB
SReclaimable:      53464 kB
SUnreclaim:       556272 kB
KernelStack:        1464 kB
PageTables:         9484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2923836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2758656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node125 at 2016-06-07 11:22:49