Trace number 4080028

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.0_TMAX120_K67_cod2.opb
MD5SUM8e8a9709ab0638484b49ff5cae7622ac
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-115005
Best CPU time to get the best result obtained on this benchmark1800.11
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 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 250772
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 250772
Number of bits of the biggest sum of numbers18
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:36:59+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-4080028-1465288619.opb"]
0.00/0.01	c use --random-gen="2498540939 2777728445 3319007462 2605281435 2096636260 426588571 3448306661 523400664 1295300195 2373964677 3032254786 471537221 3881503540 3223243635 2954959260 1191579244 1008980566 2020294546 3390873324 27658823 539248143 353433352 1464432966 3610349294 1219548018 3694360106 1304067549 2929922265 513929690 2411490119 2026000187 1495663229 342580695 3534621406 1284295837 3124607233 1242607862 991671149 2823521223 1203357618 1832913646 3044956748 3726878226 460534695 3042971023 1333505763 228385241 3663896562 2956626835 3291913110 2519119037 351665125 1207291455 2529585885 2016785963 3122418930 2741444152 3080031876 4010992557 545263765 2622106385 3695342819 3336194823 3068179392 545984543 3624420278 2902561184 519346790 944309234 408678434 1261997409 891499126 1696923861 2065810089 1271428527 3137885630 3281212890 2541735522 1549180566 476765251 1336586531 3416955190 2618665625 3648781977 3213289954 1694017512 1867349683 4119125642 1312810244 3426434178 980362404 1275625272 3696261429 3231191287 2588932282 2833393379 1103397696 2786493468 163389459 2468526832 1754058962 3769662125 2229097810 3851814301 616468089 2763291419 2404948656 221940141 3888585527 1893570054 234749915 3089284393 1892558705 2594620171 449616152 3241303134 151210518 3057028113 2334154506 2268692548 2704258471 1476282648 2945246709 3652425509 3077837467 2992186752 1703157202 59077396 3994042958 2050676750 3670740438 2463417925 3052565318 1740337323 1608774997 675207180 594150231 749549910 317988336 533920125 2883132346 814457243 3828075097 283144003 2694834048 318369160 106299403 3661971951 4159998041 3634938166 2072552009 1386629232 719770051 3643960427 3073465476 4238447057 1747824705 2257198211 4094783739 1599871792 2397249537 1452485945 2806217730 3372217569 742173522 3879301415 1366124626 1235859939 1508616245 2639438298 288296021 253539458 3005815436 4026786127 2068082521 3519624320 2226628537 3834325538 3433259909 2585114033 3600329176 172290874 3925954099 3215103821 860846070 1434977660 531556055 1608676852 4046215952 4136200644 2694546918 3386884655 965080869 2741564682 2178645945 1028367869 1518798907 483957755 656438970 3388217552 3023222974 476793256 2844332329 1139062695 4240815818 2983790408 2021796617 3203090643 966670873 1452064056 2538804813 1626046205 339870524 3487704072 3094928603 1886144581 1304482089 3234259317 1631278898 4195520860 2200439872 2663152559 2118373571 946528311 224213610 871431894 3988541367 1041675090 907344953 2056101344 1382651624 659757412 2783879536 3317109314 627215504 2423900766 3304024117 2961285283 808435892 481655922 2569263449 675758650 2837399141 307610626 1377075258 3620792880 2661346369 2508675098 2558509860 1798987981 2910992409 4171727453 2482635828 347460003 1091697845 1604740265 255 362436" option to reproduce the execution
0.39/0.45	c #vars 40937
0.39/0.45	c #constraints 41436
1.48/1.52	c BCD2: Hardening is enabled.
1.48/1.52	c BCD2: BiasedSearch is enabled.
1.48/1.52	c Solving starts ...
1.48/1.52	c ============================[ Search Statistics ]============================
1.48/1.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.48/1.52	c       |         |          |          |    Limit     GC | Var      | Constra 
1.48/1.52	c =============================================================================
1.48/1.52	c  0.0s |       0 |        0 |        0 |    27456      0 |      125 |        0
4.79/4.87	c  3.3s |       0 |     5647 |      100 |    27456      0 |      148 |      146
4.79/4.88	c  3.4s |       1 |     5647 |      100 |    27456      0 |      148 |      146
6.09/6.13	c  4.6s |       2 |    11892 |      250 |    30202      0 |      148 |      146
8.09/8.16	c  6.6s |       2 |    17412 |      350 |    33223      0 |      148 |      146
10.49/10.51	c  9.0s |       2 |    21238 |      450 |    33223      0 |      148 |      146
12.10/12.13	c 10.6s |       3 |    23485 |      475 |    33223      0 |      148 |      146
15.99/16.06	c 14.5s |       3 |    26654 |      675 |    36546      0 |      148 |      146
18.29/18.37	c 16.8s |       3 |    28193 |      775 |    36546      0 |      148 |      146
18.89/18.99	c 17.5s |       4 |    30721 |      813 |    36546      0 |      148 |      146
22.79/22.80	c 21.3s |       4 |    34326 |      913 |    40201      0 |      148 |      146
26.29/26.33	c 24.8s |       4 |    36209 |     1113 |    40201      0 |      148 |      146
28.49/28.50	c 27.0s |       4 |    38459 |     1213 |    40201      0 |      148 |      146
31.49/31.54	c 30.0s |       4 |    41477 |     1313 |    40201      0 |      148 |      146
31.69/31.71	c 30.2s |       5 |    41829 |     1320 |    40201      0 |      148 |      146
35.89/35.99	c 34.5s |       5 |    49711 |     1420 |    44222      0 |      148 |      146
38.49/38.52	c 37.0s |       5 |    56696 |     1520 |    44222      0 |      148 |      146
40.69/40.74	c 39.2s |       5 |    58749 |     1620 |    44222      0 |      148 |      146
44.09/44.16	c 42.6s |       5 |    60087 |     1820 |    44222      0 |      148 |      146
46.29/46.34	c 44.8s |       5 |    60605 |     1920 |    44222      0 |      148 |      146
48.28/48.40	c 46.9s |       5 |    60896 |     2020 |    44222      0 |      148 |      146
49.18/49.26	c 47.7s |       6 |    61073 |     2081 |    48645      0 |      148 |      146
51.88/51.96	c 50.4s |       6 |    61775 |     2281 |    48645      0 |      148 |      146
55.58/55.61	c 54.1s |       6 |    64729 |     2381 |    48645      0 |      148 |      146
58.29/58.31	c 56.8s |       6 |    68651 |     2481 |    48645      0 |      148 |      146
60.38/60.45	c 58.9s |       6 |    70133 |     2581 |    48645      0 |      148 |      146
64.28/64.33	c 62.8s |       6 |    75897 |     2781 |    48645      0 |      151 |      148
67.19/67.27	c 65.7s |       6 |    79799 |     2981 |    48645      0 |      151 |      148
70.28/70.35	c 68.8s |       6 |    83955 |     3181 |    48645      0 |      151 |      148
70.88/70.90	c 69.4s |       7 |    84073 |     3223 |    53510      0 |      151 |      148
74.79/74.81	c 73.3s |       7 |    87369 |     3423 |    53510      0 |      151 |      148
78.38/78.40	c 76.9s |       7 |    95164 |     3623 |    53510      0 |      151 |      148
83.88/83.97	c 82.4s |       7 |   102856 |     3823 |    53510      0 |      151 |      148
86.99/87.04	c 85.5s |       7 |   105214 |     4023 |    53510      0 |      151 |      148
89.38/89.41	c 87.9s |       7 |   106559 |     4123 |    53510      0 |      151 |      148
91.68/91.72	c 90.2s |       7 |   106750 |     4223 |    53510      0 |      151 |      148
94.28/94.36	c 92.8s |       7 |   107312 |     4323 |    53510      0 |      151 |      148
99.68/99.76	c 98.2s |       7 |   108132 |     4523 |    53510      0 |      151 |      148
105.18/105.20	c  103s |       7 |   108645 |     4623 |    53510      0 |      151 |      148
108.08/108.10	c  106s |       7 |   109323 |     4723 |    53510      0 |      151 |      148
110.58/110.60	c  109s |       7 |   110085 |     4823 |    53510      0 |      151 |      148
115.37/115.41	c  113s |       7 |   110800 |     4923 |    58862      0 |      151 |      148
115.37/115.48	c  113s |       8 |   111001 |     4936 |    58862      0 |      151 |      148
121.87/121.93	c  120s |       8 |   111754 |     5036 |    58862      0 |      151 |      148
124.28/124.33	c  122s |       8 |   113304 |     5136 |    58862      0 |      151 |      148
129.67/129.78	c  128s |       8 |   118300 |     5336 |    58862      0 |      151 |      148
132.08/132.15	c  130s |       8 |   123021 |     5436 |    58862      0 |      151 |      148
135.97/136.02	c  134s |       8 |   125893 |     5636 |    58862      0 |      151 |      148
139.87/139.99	c  138s |       8 |   127155 |     5736 |    58862      0 |      151 |      148
143.17/143.20	c  141s |       8 |   127689 |     5836 |    58862      0 |      151 |      148
146.47/146.56	c  145s |       8 |   131557 |     6036 |    58862      0 |      151 |      148
150.37/150.43	c  148s |       8 |   134168 |     6236 |    58862      0 |      151 |      148
152.37/152.44	c  150s |       8 |   135522 |     6336 |    58862      0 |      151 |      148
157.77/157.88	c  156s |       8 |   144952 |     6536 |    58862      0 |      151 |      148
160.87/160.96	c  159s |       8 |   146039 |     6636 |    58862      0 |      151 |      148
163.97/164.04	c  162s |       8 |   146468 |     6836 |    58862      0 |      151 |      148
166.27/166.36	c  164s |       8 |   147008 |     6936 |    58862      0 |      151 |      148
170.16/170.26	c  168s |       8 |   149894 |     7136 |    58862      0 |      151 |      148
172.26/172.31	c  170s |       8 |   150994 |     7236 |    58862      0 |      151 |      148
175.46/175.56	c  174s |       8 |   154521 |     7436 |    58862      0 |      151 |      148
176.36/176.40	c  174s |       9 |   154978 |     7506 |    64749      0 |      151 |      148
179.86/179.96	c  178s |       9 |   160106 |     7706 |    64749      0 |      151 |      148
183.56/183.69	c  182s |       9 |   163145 |     7906 |    64749      0 |      151 |      148
188.56/188.65	c  187s |       9 |   166113 |     8006 |    64749      0 |      151 |      148
192.06/192.14	c  190s |       9 |   172171 |     8206 |    64749      0 |      151 |      148
196.76/196.87	c  195s |       9 |   175021 |     8406 |    64749      0 |      151 |      148
200.66/200.71	c  199s |       9 |   175547 |     8606 |    64749      0 |      151 |      148
203.36/203.48	c  201s |       9 |   178342 |     8706 |    64749      0 |      151 |      148
206.87/206.91	c  205s |       9 |   180084 |     8806 |    64749      0 |      151 |      148
210.96/211.03	c  209s |       9 |   182563 |     8906 |    64749      0 |      151 |      148
213.16/213.29	c  211s |       9 |   186975 |     9006 |    64749      0 |      151 |      148
216.56/216.68	c  215s |       9 |   188733 |     9206 |    64749      0 |      151 |      148
220.56/220.60	c  219s |       9 |   190439 |     9406 |    64749      0 |      151 |      148
223.36/223.48	c  221s |       9 |   191795 |     9606 |    64749      0 |      151 |      148
225.46/225.52	c  223s |       9 |   193291 |     9706 |    64749      0 |      151 |      148
229.66/229.75	c  228s |       9 |   198024 |     9906 |    64749      0 |      151 |      148
232.25/232.32	c  230s |       9 |   201772 |    10006 |    64749      0 |      151 |      148
234.95/235.00	c  233s |       9 |   203075 |    10206 |    64749      0 |      151 |      148
240.25/240.35	c  238s |       9 |   203473 |    10306 |    64749      0 |      151 |      148
245.15/245.20	c  243s |       9 |   204624 |    10406 |    64749      0 |      151 |      148
248.45/248.52	c  246s |       9 |   207692 |    10506 |    64749      0 |      151 |      148
250.45/250.54	c  249s |       9 |   208774 |    10606 |    64749      0 |      151 |      148
253.75/253.85	c  252s |       9 |   208932 |    10706 |    64749      0 |      151 |      148
256.85/256.99	c  255s |       9 |   209991 |    10806 |    64749      0 |      151 |      148
262.05/262.18	c  260s |       9 |   211126 |    10906 |    64749      0 |      151 |      148
265.25/265.32	c  263s |       9 |   211718 |    11006 |    64749      0 |      151 |      148
267.75/267.89	c  266s |       9 |   212022 |    11106 |    64749      0 |      151 |      148
271.35/271.41	c  269s |       9 |   212982 |    11206 |    64749      0 |      151 |      148
278.35/278.44	c  276s |       9 |   213355 |    11306 |    71224      0 |      151 |      148
279.65/279.78	c  278s |      10 |   214457 |    11361 |    71224      0 |      151 |      148
283.35/283.45	c  281s |      10 |   215809 |    11561 |    71224      0 |      151 |      148
286.65/286.70	c  285s |      10 |   216557 |    11661 |    71224      0 |      151 |      148
290.25/290.39	c  288s |      10 |   219085 |    11861 |    71224      0 |      151 |      148
292.45/292.55	c  291s |      10 |   219620 |    11961 |    71224      0 |      151 |      148
296.35/296.48	c  294s |      10 |   221242 |    12061 |    71224      0 |      151 |      148
299.64/299.78	c  298s |      10 |   223663 |    12261 |    71224      0 |      151 |      148
302.84/302.92	c  301s |      10 |   224074 |    12361 |    71224      0 |      151 |      148
307.04/307.15	c  305s |      10 |   224621 |    12461 |    71224      0 |      151 |      148
310.64/310.79	c  309s |      10 |   225081 |    12561 |    71224      0 |      151 |      148
314.44/314.57	c  313s |      10 |   225605 |    12661 |    71224      0 |      151 |      148
318.34/318.42	c  316s |      10 |   226276 |    12761 |    71224      0 |      151 |      148
321.74/321.88	c  320s |      10 |   227155 |    12861 |    71224      0 |      151 |      148
325.34/325.45	c  323s |      10 |   227659 |    12961 |    71224      0 |      151 |      148
328.95/329.09	c  327s |      10 |   229444 |    13061 |    71224      0 |      151 |      148
333.74/333.82	c  332s |      10 |   230152 |    13161 |    71224      0 |      151 |      148
336.94/337.06	c  335s |      10 |   230845 |    13261 |    71224      0 |      151 |      148
339.74/339.81	c  338s |      10 |   231512 |    13361 |    71224      0 |      151 |      148
341.74/341.85	c  340s |      10 |   232397 |    13461 |    71224      0 |      151 |      148
344.04/344.14	c  342s |      10 |   233787 |    13561 |    71224      0 |      151 |      148
347.14/347.20	c  345s |      10 |   234359 |    13661 |    71224      0 |      151 |      148
356.84/356.98	c  355s |      10 |   234982 |    13761 |    71224      0 |      151 |      148
359.94/360.04	c  358s |      10 |   235902 |    13861 |    71224      0 |      151 |      148
362.63/362.76	c  361s |      10 |   236337 |    13961 |    71224      0 |      151 |      148
364.73/364.86	c  363s |      10 |   236585 |    14061 |    71224      0 |      151 |      148
367.03/367.16	c  365s |      10 |   237489 |    14161 |    71224      0 |      151 |      148
373.13/373.24	c  371s |      10 |   238884 |    14261 |    71224      0 |      151 |      148
377.24/377.38	c  375s |      10 |   242277 |    14461 |    71224      0 |      151 |      148
384.43/384.52	c  382s |      10 |   244211 |    14561 |    71224      0 |      151 |      148
386.73/386.89	c  385s |      10 |   244715 |    14661 |    71224      0 |      151 |      148
389.03/389.12	c  387s |      10 |   245276 |    14761 |    71224      0 |      151 |      148
391.54/391.62	c  390s |      10 |   247677 |    14861 |    71224      0 |      151 |      148
393.93/394.08	c  392s |      10 |   249472 |    14961 |    71224      0 |      151 |      148
396.13/396.26	c  394s |      10 |   250734 |    15061 |    71224      0 |      151 |      148
398.53/398.62	c  397s |      10 |   252813 |    15161 |    71224      0 |      151 |      148
401.63/401.75	c  400s |      10 |   254138 |    15361 |    71224      0 |      151 |      148
406.33/406.44	c  404s |      10 |   260564 |    15561 |    71224      0 |      151 |      148
408.33/408.48	c  406s |      10 |   261285 |    15661 |    71224      0 |      151 |      148
412.33/412.50	c  410s |      10 |   264324 |    15861 |    71224      0 |      151 |      148
415.32/415.45	c  413s |      10 |   266316 |    15961 |    71224      0 |      151 |      148
417.42/417.57	c  416s |      10 |   266993 |    16061 |    71224      0 |      151 |      148
419.42/419.58	c  418s |      10 |   267854 |    16161 |    71224      0 |      151 |      148
423.32/423.41	c  421s |      10 |   269677 |    16361 |    71224      0 |      151 |      148
425.52/425.65	c  424s |      10 |   270148 |    16461 |    71224      0 |      151 |      148
427.93/428.09	c  426s |      10 |   270915 |    16561 |    71224      0 |      151 |      148
430.82/430.95	c  429s |      10 |   271878 |    16661 |    71224      0 |      151 |      148
433.82/433.95	c  432s |      10 |   273451 |    16861 |    71224      0 |      151 |      148
436.32/436.46	c  434s |      10 |   274122 |    17061 |    78347      0 |      151 |      148
437.92/438.01	c  436s |      11 |   274277 |    17144 |    78347      0 |      151 |      148
440.03/440.14	c  438s |      11 |   274672 |    17244 |    78347      0 |      151 |      148
443.82/443.90	c  442s |      11 |   275802 |    17444 |    78347      0 |      151 |      148
447.73/447.89	c  446s |      11 |   278069 |    17644 |    78347      0 |      151 |      148
449.82/449.97	c  448s |      11 |   280280 |    17744 |    78347      0 |      151 |      148
455.92/456.09	c  454s |      11 |   282336 |    17944 |    78347      0 |      151 |      148
459.42/459.58	c  458s |      11 |   283601 |    18144 |    78347      0 |      151 |      148
462.02/462.11	c  460s |      11 |   283913 |    18244 |    78347      0 |      151 |      148
466.51/466.63	c  465s |      11 |   284890 |    18444 |    78347      0 |      151 |      148
469.11/469.28	c  467s |      11 |   287392 |    18644 |    78347      0 |      151 |      148
472.21/472.33	c  470s |      11 |   289643 |    18844 |    78347      0 |      151 |      148
474.91/475.05	c  473s |      11 |   292165 |    19044 |    78347      0 |      151 |      148
478.31/478.50	c  476s |      11 |   294860 |    19244 |    78347      0 |      151 |      148
481.91/482.00	c  480s |      11 |   295441 |    19444 |    78347      0 |      151 |      148
486.71/486.86	c  485s |      11 |   300675 |    19644 |    78347      0 |      151 |      148
489.81/489.95	c  488s |      11 |   303179 |    19844 |    78347      0 |      151 |      148
493.21/493.37	c  491s |      11 |   305454 |    19944 |    78347      0 |      151 |      148
497.22/497.36	c  495s |      11 |   306240 |    20144 |    78347      0 |      151 |      148
501.21/501.31	c  499s |      11 |   307795 |    20344 |    78347      0 |      151 |      148
503.82/503.90	c  502s |      11 |   309786 |    20444 |    78347      0 |      151 |      148
505.81/505.99	c  504s |      11 |   311405 |    20544 |    78347      0 |      151 |      148
509.01/509.16	c  507s |      11 |   313759 |    20744 |    78347      0 |      151 |      148
511.11/511.20	c  509s |      11 |   314639 |    20844 |    78347      0 |      151 |      148
514.41/514.58	c  513s |      11 |   315832 |    21044 |    78347      0 |      151 |      148
520.01/520.11	c  518s |      11 |   317959 |    21244 |    78347      0 |      151 |      148
523.61/523.78	c  522s |      11 |   319575 |    21444 |    78347      0 |      151 |      148
527.10/527.27	c  525s |      11 |   321208 |    21644 |    78347      0 |      151 |      148
529.20/529.32	c  527s |      11 |   322255 |    21744 |    78347      0 |      151 |      148
531.91/532.04	c  530s |      11 |   322623 |    21844 |    78347      0 |      151 |      148
534.11/534.26	c  532s |      11 |   323033 |    21944 |    78347      0 |      151 |      148
536.21/536.32	c  534s |      11 |   323614 |    22044 |    78347      0 |      151 |      148
539.91/540.04	c  538s |      11 |   324164 |    22244 |    78347      0 |      151 |      148
542.71/542.82	c  541s |      11 |   324911 |    22344 |    78347      0 |      151 |      148
546.01/546.11	c  544s |      11 |   327476 |    22544 |    78347      0 |      151 |      148
548.71/548.90	c  547s |      11 |   329348 |    22744 |    78347      0 |      151 |      148
551.12/551.27	c  549s |      11 |   332541 |    22844 |    78347      0 |      151 |      148
554.71/554.85	c  553s |      11 |   336024 |    23044 |    78347      0 |      151 |      148
557.41/557.52	c  555s |      11 |   337023 |    23244 |    78347      0 |      151 |      148
560.71/560.87	c  559s |      11 |   337920 |    23444 |    78347      0 |      151 |      148
563.22/563.34	c  561s |      11 |   338893 |    23544 |    78347      0 |      151 |      148
565.61/565.78	c  564s |      11 |   340790 |    23644 |    78347      0 |      151 |      148
568.61/568.78	c  567s |      11 |   344805 |    23744 |    78347      0 |      151 |      148
572.01/572.18	c  570s |      11 |   345875 |    23844 |    78347      0 |      151 |      148
574.31/574.45	c  572s |      11 |   346564 |    23944 |    78347      0 |      151 |      148
578.01/578.11	c  576s |      11 |   347345 |    24144 |    78347      0 |      151 |      148
581.30/581.42	c  579s |      11 |   347952 |    24244 |    78347      0 |      151 |      148
584.70/584.83	c  583s |      11 |   348609 |    24344 |    78347      0 |      151 |      148
587.90/588.00	c  586s |      11 |   349562 |    24444 |    78347      0 |      151 |      148
591.20/591.37	c  589s |      11 |   351729 |    24644 |    78347      0 |      151 |      148
593.30/593.47	c  591s |      11 |   352107 |    24744 |    78347      0 |      151 |      148
595.30/595.47	c  593s |      11 |   352796 |    24844 |    78347      0 |      151 |      148
597.40/597.51	c  595s |      11 |   353446 |    24944 |    78347      0 |      151 |      148
601.10/601.29	c  599s |      11 |   353989 |    25044 |    78347      0 |      151 |      148
603.70/603.82	c  602s |      11 |   355354 |    25144 |    78347      0 |      151 |      148
605.90/606.07	c  604s |      11 |   356837 |    25344 |    78347      0 |      151 |      148
608.60/608.71	c  607s |      11 |   359367 |    25544 |    78347      0 |      151 |      148
610.80/610.91	c  609s |      11 |   362223 |    25644 |    78347      0 |      151 |      148
613.30/613.48	c  611s |      12 |   364444 |    25819 |    86182      0 |      151 |      148
616.80/616.96	c  615s |      12 |   368293 |    26019 |    86182      0 |      151 |      148
619.31/619.47	c  617s |      12 |   372796 |    26119 |    86182      0 |      151 |      148
623.00/623.16	c  621s |      12 |   373326 |    26319 |    86182      0 |      151 |      148
626.60/626.72	c  625s |      12 |   375304 |    26519 |    86182      0 |      151 |      148
630.10/630.26	c  628s |      12 |   380358 |    26719 |    86182      0 |      151 |      148
632.30/632.50	c  630s |      12 |   383524 |    26819 |    86182      0 |      151 |      148
635.70/635.83	c  634s |      12 |   388490 |    27019 |    86182      0 |      151 |      148
637.80/637.99	c  636s |      12 |   391352 |    27119 |    86182      0 |      151 |      148
640.80/640.90	c  639s |      12 |   396387 |    27319 |    86182      0 |      151 |      148
644.30/644.46	c  642s |      12 |   397197 |    27519 |    86182      0 |      151 |      148
646.89/647.10	c  645s |      12 |   398179 |    27619 |    86182      0 |      151 |      148
651.39/651.52	c  649s |      12 |   403510 |    27819 |    86182      0 |      151 |      148
653.49/653.64	c  652s |      12 |   404481 |    28019 |    86182      0 |      151 |      148
656.70/656.89	c  655s |      12 |   406434 |    28219 |    86182      0 |      151 |      148
659.09/659.24	c  657s |      12 |   409690 |    28319 |    86182      0 |      151 |      148
661.89/662.04	c  660s |      12 |   410534 |    28419 |    86182      0 |      151 |      148
664.40/664.54	c  663s |      12 |   411880 |    28519 |    86182      0 |      151 |      148
666.69/666.82	c  665s |      12 |   413374 |    28619 |    86182      0 |      151 |      148
670.39/670.54	c  669s |      12 |   414855 |    28719 |    86182      0 |      151 |      148
672.39/672.59	c  671s |      12 |   416751 |    28819 |    86182      0 |      151 |      148
675.19/675.34	c  673s |      12 |   418716 |    28919 |    86182      0 |      151 |      148
678.19/678.38	c  676s |      12 |   419887 |    29019 |    86182      0 |      151 |      148
680.99/681.14	c  679s |      12 |   421461 |    29119 |    86182      0 |      151 |      148
683.59/683.71	c  682s |      12 |   423129 |    29319 |    86182      0 |      151 |      148
686.59/686.74	c  685s |      12 |   424190 |    29519 |    86182      0 |      151 |      148
690.09/690.27	c  688s |      12 |   425610 |    29719 |    86182      0 |      151 |      148
693.99/694.14	c  692s |      12 |   427166 |    29919 |    86182      0 |      151 |      148
697.99/698.19	c  696s |      12 |   427776 |    30119 |    86182      0 |      151 |      148
701.19/701.36	c  699s |      12 |   428292 |    30219 |    86182      0 |      151 |      148
704.19/704.30	c  702s |      12 |   429812 |    30319 |    86182      0 |      151 |      148
706.98/707.13	c  705s |      12 |   430921 |    30519 |    86182      0 |      151 |      148
710.08/710.20	c  708s |      12 |   431540 |    30719 |    86182      0 |      151 |      148
712.88/713.04	c  711s |      12 |   432647 |    30919 |    86182      0 |      151 |      148
716.28/716.48	c  714s |      12 |   433495 |    31119 |    86182      0 |      151 |      148
719.78/719.92	c  718s |      12 |   434923 |    31319 |    86182      0 |      151 |      148
724.68/724.88	c  723s |      12 |   436301 |    31519 |    86182      0 |      151 |      148
727.98/728.18	c  726s |      12 |   436636 |    31619 |    86182      0 |      151 |      148
731.58/731.73	c  730s |      12 |   436993 |    31719 |    86182      0 |      151 |      148
734.08/734.25	c  732s |      12 |   437552 |    31819 |    86182      0 |      151 |      148
736.28/736.46	c  734s |      12 |   438528 |    31919 |    86182      0 |      151 |      148
741.48/741.60	c  740s |      12 |   439153 |    32119 |    86182      0 |      151 |      148
743.59/743.72	c  742s |      12 |   439621 |    32219 |    86182      0 |      151 |      148
745.78/745.92	c  744s |      12 |   441843 |    32319 |    86182      0 |      151 |      148
749.58/749.70	c  748s |      12 |   445247 |    32519 |    86182      0 |      151 |      148
751.68/751.89	c  750s |      12 |   446365 |    32619 |    86182      0 |      151 |      148
755.48/755.65	c  754s |      12 |   448588 |    32819 |    86182      0 |      151 |      148
758.88/759.08	c  757s |      12 |   450408 |    32919 |    86182      0 |      151 |      148
762.18/762.31	c  760s |      12 |   451407 |    33019 |    86182      0 |      151 |      148
766.27/766.42	c  764s |      12 |   457774 |    33219 |    86182      0 |      151 |      148
768.47/768.61	c  767s |      12 |   459466 |    33319 |    86182      0 |      151 |      148
772.77/772.93	c  771s |      12 |   463108 |    33519 |    86182      0 |      151 |      148
776.27/776.41	c  774s |      12 |   465209 |    33619 |    86182      0 |      151 |      148
778.87/779.07	c  777s |      12 |   466308 |    33819 |    86182      0 |      151 |      148
781.67/781.86	c  780s |      12 |   467387 |    34019 |    86182      0 |      151 |      148
784.37/784.59	c  783s |      12 |   469143 |    34219 |    86182      0 |      151 |      148
786.57/786.75	c  785s |      12 |   470791 |    34319 |    86182      0 |      151 |      148
789.77/789.95	c  788s |      12 |   472237 |    34419 |    86182      0 |      151 |      148
791.77/792.00	c  790s |      12 |   475587 |    34519 |    86182      0 |      151 |      148
793.87/794.05	c  792s |      12 |   478611 |    34619 |    86182      0 |      151 |      148
798.76/798.92	c  797s |      12 |   482730 |    34819 |    86182      0 |      151 |      148
802.36/802.58	c  801s |      12 |   486046 |    34919 |    86182      0 |      151 |      148
805.26/805.44	c  803s |      12 |   487816 |    35019 |    86182      0 |      151 |      148
807.56/807.70	c  806s |      12 |   489704 |    35119 |    86182      0 |      151 |      148
810.86/811.07	c  809s |      12 |   492008 |    35319 |    86182      0 |      151 |      148
814.16/814.35	c  812s |      12 |   493434 |    35519 |    86182      0 |      151 |      148
816.56/816.76	c  815s |      12 |   495071 |    35619 |    86182      0 |      151 |      148
818.66/818.89	c  817s |      12 |   495996 |    35719 |    86182      0 |      151 |      148
821.76/821.92	c  820s |      12 |   497038 |    35819 |    86182      0 |      151 |      148
825.86/826.05	c  824s |      12 |   497643 |    36019 |    86182      0 |      151 |      148
828.46/828.68	c  827s |      12 |   498484 |    36219 |    86182      0 |      151 |      148
830.96/831.17	c  829s |      12 |   499292 |    36419 |    86182      0 |      151 |      148
833.16/833.33	c  831s |      12 |   499934 |    36619 |    86182      0 |      151 |      148
835.26/835.40	c  833s |      12 |   500367 |    36719 |    86182      0 |      151 |      148
837.35/837.53	c  836s |      12 |   501811 |    36819 |    86182      0 |      151 |      148
839.35/839.55	c  838s |      12 |   502775 |    36919 |    86182      0 |      151 |      148
841.65/841.86	c  840s |      12 |   504188 |    37019 |    86182      0 |      151 |      148
844.55/844.74	c  843s |      12 |   506179 |    37119 |    86182      0 |      151 |      148
848.55/848.71	c  847s |      12 |   507603 |    37319 |    86182      0 |      151 |      148
853.55/853.73	c  852s |      12 |   510361 |    37519 |    86182      0 |      151 |      148
856.34/856.54	c  855s |      12 |   511739 |    37719 |    86182      0 |      151 |      148
858.44/858.61	c  857s |      12 |   512507 |    37819 |    86182      0 |      151 |      148
860.74/860.92	c  859s |      12 |   516174 |    37919 |    86182      0 |      151 |      148
864.14/864.36	c  862s |      12 |   519060 |    38119 |    86182      0 |      151 |      148
866.44/866.62	c  865s |      12 |   519535 |    38219 |    86182      0 |      151 |      148
868.74/868.91	c  867s |      12 |   520707 |    38319 |    86182      0 |      151 |      148
870.94/871.20	c  869s |      12 |   521427 |    38419 |    86182      0 |      151 |      148
874.34/874.59	c  873s |      12 |   523893 |    38519 |    86182      0 |      151 |      148
878.94/879.11	c  877s |      12 |   525666 |    38719 |    94801      0 |      151 |      148
881.14/881.36	c  879s |      12 |   529994 |    38819 |    94801      0 |      151 |      148
881.43/881.60	c  880s |      13 |   530235 |    38832 |    94801      0 |      151 |      148
884.24/884.42	c  882s |      13 |   533802 |    38932 |    94801      0 |      151 |      148
887.54/887.73	c  886s |      13 |   536414 |    39132 |    94801      0 |      151 |      148
889.84/890.06	c  888s |      13 |   537085 |    39332 |    94801      0 |      151 |      148
893.13/893.36	c  891s |      13 |   538705 |    39532 |    94801      0 |      151 |      148
895.43/895.69	c  894s |      13 |   539049 |    39732 |    94801      0 |      151 |      148
897.53/897.72	c  896s |      13 |   539251 |    39832 |    94801      0 |      151 |      148
901.13/901.37	c  899s |      13 |   540447 |    40032 |    94801      0 |      151 |      148
904.52/904.79	c  903s |      13 |   542115 |    40232 |    94801      0 |      151 |      148
907.92/908.16	c  906s |      13 |   544123 |    40432 |    94801      0 |      151 |      148
909.92/910.17	c  908s |      13 |   545252 |    40532 |    94801      0 |      151 |      148
913.52/913.78	c  912s |      13 |   547834 |    40732 |    94801      0 |      151 |      148
915.62/915.82	c  914s |      13 |   549399 |    40832 |    94801      0 |      151 |      148
919.82/920.09	c  918s |      13 |   553940 |    41032 |    94801      0 |      151 |      148
923.93/924.11	c  922s |      13 |   555302 |    41132 |    94801      0 |      151 |      148
926.73/926.93	c  925s |      13 |   556606 |    41332 |    94801      0 |      151 |      148
931.03/931.22	c  929s |      13 |   559076 |    41532 |    94801      0 |      151 |      148
933.03/933.28	c  931s |      13 |   560905 |    41632 |    94801      0 |      151 |      148
935.83/936.00	c  934s |      13 |   562226 |    41732 |    94801      0 |      151 |      148
939.43/939.66	c  938s |      13 |   564770 |    41932 |    94801      0 |      151 |      148
943.63/943.86	c  942s |      13 |   566209 |    42132 |    94801      0 |      151 |      148
945.83/946.06	c  944s |      13 |   566886 |    42232 |    94801      0 |      151 |      148
948.32/948.56	c  947s |      13 |   567079 |    42332 |    94801      0 |      151 |      148
951.33/951.53	c  950s |      13 |   567300 |    42432 |    94801      0 |      151 |      148
954.12/954.30	c  952s |      13 |   567757 |    42532 |    94801      0 |      151 |      148
956.52/956.77	c  955s |      13 |   568001 |    42632 |    94801      0 |      151 |      148
958.62/958.84	c  957s |      13 |   569717 |    42732 |    94801      0 |      151 |      148
960.62/960.85	c  959s |      13 |   571196 |    42832 |    94801      0 |      151 |      148
963.92/964.11	c  962s |      13 |   572481 |    43032 |    94801      0 |      151 |      148
965.92/966.15	c  964s |      13 |   572812 |    43132 |    94801      0 |      151 |      148
970.12/970.31	c  968s |      13 |   574184 |    43332 |    94801      0 |      151 |      148
973.22/973.44	c  971s |      13 |   575517 |    43432 |    94801      0 |      151 |      148
975.41/975.62	c  974s |      13 |   577270 |    43532 |    94801      0 |      151 |      148
979.11/979.32	c  977s |      13 |   579390 |    43732 |    94801      0 |      151 |      148
981.12/981.36	c  979s |      13 |   581696 |    43832 |    94801      0 |      151 |      148
983.11/983.38	c  981s |      13 |   583304 |    43932 |    94801      0 |      151 |      148
986.52/986.79	c  985s |      13 |   588580 |    44032 |    94801      0 |      151 |      148
989.82/990.03	c  988s |      13 |   591586 |    44232 |    94801      0 |      151 |      148
992.71/992.98	c  991s |      13 |   593414 |    44332 |    94801      0 |      151 |      148
995.41/995.65	c  994s |      13 |   595286 |    44432 |    94801      0 |      151 |      148
999.31/999.58	c  998s |      13 |   598674 |    44632 |    94801      0 |      151 |      148
1001.50/1001.70	c 1000s |      13 |   599728 |    44732 |    94801      0 |      151 |      148
1004.60/1004.89	c 1003s |      13 |   600341 |    44832 |    94801      0 |      151 |      148
1009.00/1009.22	c 1007s |      13 |   601306 |    44932 |    94801      0 |      151 |      148
1012.40/1012.60	c 1011s |      13 |   603001 |    45032 |    94801      0 |      151 |      148
1015.30/1015.59	c 1014s |      13 |   604865 |    45232 |    94801      0 |      151 |      148
1019.40/1019.65	c 1018s |      13 |   608765 |    45432 |    94801      0 |      151 |      148
1023.70/1023.90	c 1022s |      13 |   610206 |    45632 |    94801      0 |      151 |      148
1026.99/1027.23	c 1025s |      13 |   611105 |    45832 |    94801      0 |      151 |      148
1031.60/1031.85	c 1030s |      13 |   614002 |    46032 |    94801      0 |      151 |      148
1034.39/1034.60	c 1033s |      13 |   617650 |    46132 |    94801      0 |      151 |      148
1036.69/1036.90	c 1035s |      13 |   621252 |    46232 |    94801      0 |      151 |      148
1039.89/1040.16	c 1038s |      13 |   625413 |    46332 |    94801      0 |      151 |      148
1042.89/1043.13	c 1041s |      13 |   629725 |    46432 |    94801      0 |      151 |      148
1044.99/1045.27	c 1043s |      13 |   630471 |    46532 |    94801      0 |      151 |      148
1048.79/1049.03	c 1047s |      13 |   632470 |    46732 |    94801      0 |      151 |      148
1052.50/1052.78	c 1051s |      13 |   633200 |    46932 |    94801      0 |      151 |      148
1055.19/1055.49	c 1053s |      13 |   634516 |    47032 |    94801      0 |      151 |      148
1058.59/1058.80	c 1057s |      13 |   635692 |    47232 |    94801      0 |      151 |      148
1061.69/1061.95	c 1060s |      13 |   636265 |    47432 |    94801      0 |      151 |      148
1065.19/1065.40	c 1063s |      13 |   636635 |    47632 |    94801      0 |      151 |      148
1068.39/1068.70	c 1067s |      13 |   638335 |    47732 |    94801      0 |      151 |      148
1071.49/1071.71	c 1070s |      13 |   638895 |    47932 |    94801      0 |      151 |      148
1073.98/1074.22	c 1072s |      13 |   639345 |    48032 |    94801      0 |      151 |      148
1076.38/1076.66	c 1075s |      13 |   639945 |    48132 |    94801      0 |      151 |      148
1078.38/1078.68	c 1077s |      13 |   641236 |    48232 |    94801      0 |      151 |      148
1080.98/1081.28	c 1079s |      13 |   642519 |    48432 |    94801      0 |      151 |      148
1083.88/1084.17	c 1082s |      13 |   643157 |    48632 |    94801      0 |      151 |      148
1086.78/1087.06	c 1085s |      13 |   644607 |    48832 |    94801      0 |      151 |      148
1089.78/1090.02	c 1088s |      13 |   647802 |    49032 |    94801      0 |      151 |      148
1094.29/1094.57	c 1093s |      13 |   652033 |    49232 |    94801      0 |      151 |      148
1096.59/1096.87	c 1095s |      13 |   653733 |    49532 |    94801      0 |      151 |      148
1099.48/1099.71	c 1098s |      13 |   654822 |    49732 |    94801      0 |      151 |      148
1103.28/1103.56	c 1102s |      13 |   658388 |    49932 |    94801      0 |      151 |      148
1106.98/1107.25	c 1105s |      13 |   664917 |    50132 |    94801      0 |      151 |      148
1109.78/1110.07	c 1108s |      13 |   668562 |    50232 |    94801      0 |      151 |      148
1111.98/1112.29	c 1110s |      13 |   670633 |    50332 |    94801      0 |      151 |      148
1115.68/1115.90	c 1114s |      13 |   671887 |    50532 |    94801      0 |      151 |      148
1120.07/1120.32	c 1118s |      13 |   674709 |    50732 |    94801      0 |      151 |      148
1122.47/1122.78	c 1121s |      13 |   675480 |    51032 |    94801      0 |      151 |      148
1125.08/1125.38	c 1123s |      13 |   676349 |    51232 |    94801      0 |      151 |      148
1127.67/1127.92	c 1126s |      13 |   677210 |    51432 |    94801      0 |      151 |      148
1130.07/1130.37	c 1128s |      13 |   678687 |    51532 |    94801      0 |      151 |      148
1132.07/1132.38	c 1130s |      13 |   679411 |    51632 |    94801      0 |      151 |      148
1134.57/1134.82	c 1133s |      13 |   679782 |    51732 |    94801      0 |      151 |      148
1136.57/1136.87	c 1135s |      13 |   680884 |    51832 |    94801      0 |      151 |      148
1138.67/1138.91	c 1137s |      13 |   682186 |    51932 |    94801      0 |      151 |      148
1142.57/1142.81	c 1141s |      13 |   685060 |    52132 |    94801      0 |      151 |      148
1146.87/1147.11	c 1145s |      13 |   689035 |    52332 |    94801      0 |      151 |      148
1149.67/1149.96	c 1148s |      13 |   690373 |    52432 |    94801      0 |      151 |      148
1151.97/1152.22	c 1150s |      13 |   691759 |    52532 |    94801      0 |      151 |      148
1154.07/1154.30	c 1152s |      13 |   692250 |    52632 |    94801      0 |      151 |      148
1157.67/1157.96	c 1156s |      13 |   694476 |    52832 |    94801      0 |      151 |      148
1160.86/1161.18	c 1159s |      13 |   696027 |    53032 |    94801      0 |      151 |      148
1164.26/1164.56	c 1163s |      13 |   696575 |    53232 |    94801      0 |      151 |      148
1166.76/1167.06	c 1165s |      13 |   699567 |    53332 |    94801      0 |      151 |      148
1171.16/1171.41	c 1169s |      13 |   703396 |    53532 |    94801      0 |      151 |      148
1174.76/1175.06	c 1173s |      13 |   705290 |    53732 |    94801      0 |      151 |      148
1178.36/1178.67	c 1177s |      13 |   708128 |    53932 |    94801      0 |      151 |      148
1182.06/1182.39	c 1180s |      13 |   709635 |    54132 |    94801      0 |      151 |      148
1185.56/1185.83	c 1184s |      13 |   714226 |    54332 |    94801      0 |      151 |      148
1189.56/1189.88	c 1188s |      13 |   718689 |    54532 |    94801      0 |      151 |      148
1192.65/1192.97	c 1191s |      13 |   720151 |    54632 |    94801      0 |      151 |      148
1195.15/1195.47	c 1193s |      13 |   721089 |    54732 |    94801      0 |      151 |      148
1198.65/1198.90	c 1197s |      13 |   723015 |    54932 |    94801      0 |      151 |      148
1202.75/1203.09	c 1201s |      13 |   726245 |    55132 |    94801      0 |      151 |      148
1206.35/1206.60	c 1205s |      13 |   727889 |    55332 |    94801      0 |      151 |      148
1209.55/1209.87	c 1208s |      13 |   729851 |    55532 |    94801      0 |      151 |      148
1211.54/1211.87	c 1210s |      13 |   731156 |    55632 |    94801      0 |      151 |      148
1215.44/1215.77	c 1214s |      13 |   734298 |    55832 |    94801      0 |      151 |      148
1217.64/1217.94	c 1216s |      13 |   734992 |    55932 |    94801      0 |      151 |      148
1219.84/1220.15	c 1218s |      13 |   735613 |    56132 |    94801      0 |      151 |      148
1223.34/1223.62	c 1222s |      13 |   739567 |    56332 |    94801      0 |      151 |      148
1226.84/1227.10	c 1225s |      13 |   740477 |    56532 |    94801      0 |      151 |      148
1230.74/1231.02	c 1229s |      13 |   743623 |    56732 |    94801      0 |      151 |      148
1234.13/1234.49	c 1232s |      13 |   749044 |    56932 |    94801      0 |      151 |      148
1238.03/1238.38	c 1236s |      13 |   753011 |    57132 |    94801      0 |      151 |      148
1241.93/1242.26	c 1240s |      13 |   757566 |    57332 |    94801      0 |      151 |      148
1244.12/1244.46	c 1242s |      13 |   759644 |    57432 |    94801      0 |      151 |      148
1248.12/1248.46	c 1246s |      13 |   762609 |    57632 |    94801      0 |      151 |      148
1250.32/1250.61	c 1249s |      13 |   763985 |    57732 |    94801      0 |      151 |      148
1254.12/1254.47	c 1252s |      13 |   767081 |    57932 |    94801      0 |      151 |      148
1256.42/1256.76	c 1255s |      13 |   767487 |    58032 |   104282      0 |      151 |      148
1260.52/1260.80	c 1259s |      13 |   772944 |    58232 |   104282      0 |      151 |      148
1262.41/1262.76	c 1261s |      14 |   774873 |    58352 |   104282      0 |      151 |      148
1265.31/1265.62	c 1264s |      14 |   778650 |    58452 |   104282      0 |      151 |      148
1268.91/1269.27	c 1267s |      14 |   781550 |    58652 |   104282      0 |      151 |      148
1272.52/1272.89	c 1271s |      14 |   782427 |    58852 |   104282      0 |      151 |      148
1274.62/1274.91	c 1273s |      14 |   783368 |    58952 |   104282      0 |      151 |      148
1278.21/1278.57	c 1277s |      14 |   784756 |    59152 |   104282      0 |      151 |      148
1280.61/1280.94	c 1279s |      14 |   785181 |    59252 |   104282      0 |      151 |      148
1282.61/1282.95	c 1281s |      14 |   785827 |    59352 |   104282      0 |      151 |      148
1284.81/1285.10	c 1283s |      14 |   786872 |    59452 |   104282      0 |      151 |      148
1287.91/1288.28	c 1286s |      14 |   789448 |    59652 |   104282      0 |      151 |      148
1293.10/1293.44	c 1291s |      14 |   793754 |    59852 |   104282      0 |      151 |      148
1295.20/1295.53	c 1294s |      14 |   796970 |    59952 |   104282      0 |      151 |      148
1298.81/1299.11	c 1297s |      14 |   804229 |    60152 |   104282      0 |      151 |      148
1301.90/1302.23	c 1300s |      14 |   806965 |    60352 |   104282      0 |      151 |      148
1304.60/1304.92	c 1303s |      14 |   807139 |    60452 |   104282      0 |      151 |      148
1306.80/1307.17	c 1305s |      14 |   807902 |    60552 |   104282      0 |      151 |      148
1309.00/1309.37	c 1307s |      14 |   809300 |    60652 |   104282      0 |      151 |      148
1311.10/1311.41	c 1309s |      14 |   809513 |    60752 |   104282      0 |      151 |      148
1313.81/1314.19	c 1312s |      14 |   811221 |    60852 |   104282      0 |      151 |      148
1316.70/1317.07	c 1315s |      14 |   813280 |    60952 |   104282      0 |      151 |      148
1321.00/1321.35	c 1319s |      14 |   820883 |    61152 |   104282      0 |      151 |      148
1324.50/1324.81	c 1323s |      14 |   822432 |    61352 |   104282      0 |      151 |      148
1328.00/1328.35	c 1326s |      14 |   824390 |    61552 |   104282      0 |      151 |      148
1331.50/1331.82	c 1330s |      14 |   825359 |    61752 |   104282      0 |      151 |      148
1334.50/1334.81	c 1333s |      14 |   826731 |    61852 |   104282      0 |      151 |      148
1336.49/1336.83	c 1335s |      14 |   828151 |    61952 |   104282      0 |      151 |      148
1340.99/1341.32	c 1339s |      14 |   829657 |    62152 |   104282      0 |      151 |      148
1344.69/1345.06	c 1343s |      14 |   831724 |    62352 |   104282      0 |      151 |      148
1347.69/1348.00	c 1346s |      14 |   832496 |    62452 |   104282      0 |      151 |      148
1351.49/1351.85	c 1350s |      14 |   833695 |    62652 |   104282      0 |      151 |      148
1354.19/1354.58	c 1353s |      14 |   835359 |    62752 |   104282      0 |      151 |      148
1357.20/1357.52	c 1355s |      14 |   837547 |    62952 |   104282      0 |      151 |      148
1359.59/1359.92	c 1358s |      14 |   841679 |    63052 |   104282      0 |      151 |      148
1361.89/1362.20	c 1360s |      14 |   843979 |    63152 |   104282      0 |      151 |      148
1364.09/1364.40	c 1362s |      14 |   844896 |    63252 |   104282      0 |      151 |      148
1366.09/1366.42	c 1364s |      14 |   847173 |    63352 |   104282      0 |      151 |      148
1369.89/1370.27	c 1368s |      14 |   851667 |    63552 |   104282      0 |      151 |      148
1373.39/1373.71	c 1372s |      14 |   855649 |    63752 |   104282      0 |      151 |      148
1376.19/1376.55	c 1375s |      14 |   858602 |    63852 |   104282      0 |      152 |      149
1379.19/1379.53	c 1378s |      14 |   859600 |    64052 |   104282      0 |      152 |      149
1382.39/1382.74	c 1381s |      14 |   860804 |    64252 |   104282      0 |      152 |      149
1385.38/1385.72	c 1384s |      14 |   862806 |    64452 |   104282      0 |      152 |      149
1387.48/1387.86	c 1386s |      14 |   863613 |    64552 |   104282      0 |      152 |      149
1390.38/1390.79	c 1389s |      14 |   870369 |    64752 |   104282      0 |      152 |      149
1393.28/1393.65	c 1392s |      14 |   876019 |    64952 |   104282      0 |      152 |      149
1395.69/1396.07	c 1394s |      14 |   878053 |    65052 |   104282      0 |      152 |      149
1398.58/1398.97	c 1397s |      14 |   882270 |    65252 |   104282      0 |      152 |      149
1400.78/1401.18	c 1399s |      14 |   884771 |    65352 |   104282      0 |      152 |      149
1404.49/1404.85	c 1403s |      14 |   888566 |    65552 |   104282      0 |      152 |      149
1408.18/1408.54	c 1407s |      14 |   891009 |    65752 |   104282      0 |      152 |      149
1410.68/1411.06	c 1409s |      14 |   898829 |    65952 |   104282      0 |      152 |      149
1414.88/1415.21	c 1413s |      14 |   902318 |    66152 |   104282      0 |      152 |      149
1417.28/1417.60	c 1416s |      14 |   907155 |    66252 |   104282      0 |      152 |      149
1420.38/1420.71	c 1419s |      14 |   917147 |    66452 |   104282      0 |      152 |      149
1423.98/1424.31	c 1422s |      14 |   919785 |    66652 |   104282      0 |      152 |      149
1426.08/1426.44	c 1424s |      14 |   921148 |    66752 |   104282      0 |      152 |      149
1428.98/1429.30	c 1427s |      14 |   925013 |    66952 |   104282      0 |      152 |      149
1432.38/1432.79	c 1431s |      14 |   926448 |    67152 |   104282      0 |      152 |      149
1435.98/1436.33	c 1434s |      14 |   927471 |    67352 |   104282      0 |      152 |      149
1438.38/1438.79	c 1437s |      14 |   933476 |    67552 |   104282      0 |      152 |      149
1441.88/1442.26	c 1440s |      14 |   934281 |    67752 |   104282      0 |      152 |      149
1445.97/1446.30	c 1444s |      14 |   935755 |    67952 |   104282      0 |      152 |      149
1450.17/1450.51	c 1448s |      14 |   938360 |    68152 |   104282      0 |      152 |      149
1453.47/1453.86	c 1452s |      14 |   949942 |    68452 |   104282      0 |      152 |      149
1456.47/1456.85	c 1455s |      14 |   953734 |    68652 |   104282      0 |      152 |      149
1459.57/1459.94	c 1458s |      14 |   955419 |    68852 |   104282      0 |      152 |      149
1462.57/1462.97	c 1461s |      14 |   959458 |    69052 |   104282      0 |      152 |      149
1465.77/1466.11	c 1464s |      14 |   964096 |    69252 |   104282      0 |      152 |      149
1468.77/1469.10	c 1467s |      14 |   967949 |    69452 |   104282      0 |      152 |      149
1472.58/1472.96	c 1471s |      14 |   970540 |    69652 |   104282      0 |      152 |      149
1474.97/1475.32	c 1473s |      14 |   971718 |    69752 |   104282      0 |      152 |      149
1477.67/1478.01	c 1476s |      14 |   972774 |    69852 |   104282      0 |      152 |      149
1481.27/1481.64	c 1480s |      14 |   978300 |    70052 |   104282      0 |      152 |      149
1483.47/1483.81	c 1482s |      14 |   979449 |    70152 |   104282      0 |      152 |      149
1485.67/1486.03	c 1484s |      14 |   981779 |    70252 |   104282      0 |      152 |      149
1487.77/1488.13	c 1486s |      14 |   982725 |    70352 |   104282      0 |      152 |      149
1490.47/1490.86	c 1489s |      14 |   984503 |    70552 |   104282      0 |      152 |      149
1494.27/1494.67	c 1493s |      14 |   988052 |    70752 |   104282      0 |      152 |      149
1497.87/1498.21	c 1496s |      14 |   988209 |    70852 |   104282      0 |      152 |      149
1500.96/1501.39	c 1499s |      14 |   989330 |    70952 |   104282      0 |      152 |      149
1503.26/1503.65	c 1502s |      14 |   990290 |    71052 |   104282      0 |      152 |      149
1506.16/1506.50	c 1504s |      14 |   990694 |    71152 |   104282      0 |      152 |      149
1509.16/1509.60	c 1508s |      14 |   991020 |    71252 |   104282      0 |      152 |      149
1512.27/1512.62	c 1511s |      14 |   991586 |    71352 |   104282      0 |      152 |      149
1516.06/1516.43	c 1514s |      14 |   993374 |    71552 |   104282      0 |      152 |      149
1518.56/1518.96	c 1517s |      14 |   993987 |    71652 |   104282      0 |      152 |      149
1521.26/1521.69	c 1520s |      14 |   994135 |    71752 |   104282      0 |      152 |      149
1524.06/1524.43	c 1522s |      14 |   994565 |    71852 |   104282      0 |      152 |      149
1527.16/1527.52	c 1525s |      14 |  1000177 |    72052 |   104282      0 |      152 |      149
1529.56/1529.91	c 1528s |      14 |  1000887 |    72152 |   104282      0 |      152 |      149
1532.07/1532.44	c 1530s |      14 |  1001704 |    72252 |   104282      0 |      152 |      149
1534.36/1534.72	c 1533s |      14 |  1002257 |    72352 |   104282      0 |      152 |      149
1537.47/1537.81	c 1536s |      14 |  1002560 |    72452 |   104282      0 |      152 |      149
1540.46/1540.81	c 1539s |      14 |  1005071 |    72652 |   104282      0 |      152 |      149
1543.26/1543.67	c 1542s |      14 |  1010904 |    72852 |   104282      0 |      152 |      149
1546.26/1546.69	c 1545s |      14 |  1019131 |    73152 |   104282      0 |      152 |      149
1549.16/1549.51	c 1547s |      14 |  1029139 |    73452 |   104282      0 |      152 |      149
1551.26/1551.68	c 1550s |      14 |  1035310 |    73652 |   104282      0 |      152 |      149
1553.86/1554.22	c 1552s |      14 |  1041669 |    73952 |   104282      0 |      152 |      149
1556.86/1557.26	c 1555s |      14 |  1046346 |    74152 |   104282      0 |      152 |      149
1560.16/1560.54	c 1559s |      14 |  1050024 |    74352 |   104282      0 |      152 |      149
1562.86/1563.26	c 1561s |      14 |  1053196 |    74552 |   104282      0 |      152 |      149
1564.96/1565.30	c 1563s |      14 |  1057510 |    74752 |   104282      0 |      152 |      149
1567.95/1568.34	c 1566s |      14 |  1062603 |    74952 |   104282      0 |      152 |      149
1570.46/1570.87	c 1569s |      14 |  1062998 |    75052 |   104282      0 |      152 |      149
1573.45/1573.81	c 1572s |      14 |  1063987 |    75152 |   104282      0 |      152 |      149
1575.85/1576.21	c 1574s |      14 |  1064531 |    75252 |   104282      0 |      152 |      149
1577.85/1578.27	c 1576s |      14 |  1065609 |    75352 |   104282      0 |      152 |      149
1579.95/1580.32	c 1578s |      14 |  1066622 |    75452 |   104282      0 |      152 |      149
1583.95/1584.32	c 1582s |      14 |  1069034 |    75752 |   104282      0 |      152 |      149
1586.25/1586.62	c 1585s |      14 |  1070524 |    75852 |   104282      0 |      152 |      149
1590.05/1590.46	c 1588s |      14 |  1075184 |    76152 |   104282      0 |      152 |      149
1592.15/1592.53	c 1591s |      14 |  1076605 |    76252 |   104282      0 |      152 |      149
1595.76/1596.16	c 1594s |      14 |  1079765 |    76452 |   104282      0 |      152 |      149
1598.55/1598.94	c 1597s |      14 |  1083671 |    76652 |   104282      0 |      152 |      149
1601.36/1601.71	c 1600s |      14 |  1086665 |    76852 |   104282      0 |      152 |      149
1604.25/1604.61	c 1603s |      14 |  1089534 |    77052 |   104282      0 |      152 |      149
1606.25/1606.67	c 1605s |      14 |  1092705 |    77252 |   104282      0 |      152 |      149
1608.45/1608.81	c 1607s |      14 |  1099929 |    77552 |   104282      0 |      152 |      149
1611.35/1611.75	c 1610s |      14 |  1102474 |    77752 |   104282      0 |      152 |      149
1613.55/1613.94	c 1612s |      14 |  1102736 |    77852 |   104282      0 |      152 |      149
1615.85/1616.23	c 1614s |      14 |  1102858 |    77952 |   104282      0 |      152 |      149
1618.45/1618.86	c 1617s |      14 |  1107498 |    78152 |   104282      0 |      152 |      149
1621.95/1622.34	c 1620s |      14 |  1109710 |    78352 |   104282      0 |      152 |      149
1625.55/1625.98	c 1624s |      14 |  1112273 |    78552 |   104282      0 |      152 |      149
1628.75/1629.18	c 1627s |      14 |  1114261 |    78752 |   104282      0 |      152 |      149
1630.95/1631.40	c 1629s |      14 |  1117338 |    78952 |   104282      0 |      152 |      149
1633.44/1633.82	c 1632s |      14 |  1121890 |    79152 |   104282      0 |      152 |      149
1636.55/1636.94	c 1635s |      14 |  1128574 |    79452 |   104282      0 |      152 |      149
1640.24/1640.62	c 1639s |      14 |  1131484 |    79652 |   104282      0 |      152 |      149
1642.54/1642.96	c 1641s |      14 |  1133578 |    79852 |   104282      0 |      152 |      149
1646.14/1646.54	c 1645s |      14 |  1135279 |    80052 |   104282      0 |      152 |      149
1648.84/1649.23	c 1647s |      14 |  1137621 |    80252 |   104282      0 |      152 |      149
1652.84/1653.21	c 1651s |      14 |  1138402 |    80452 |   104282      0 |      152 |      149
1655.74/1656.10	c 1654s |      14 |  1140970 |    80652 |   104282      0 |      152 |      149
1659.04/1659.49	c 1657s |      14 |  1145391 |    80952 |   104282      0 |      152 |      149
1661.34/1661.74	c 1660s |      14 |  1145730 |    81052 |   104282      0 |      152 |      149
1665.15/1665.52	c 1663s |      14 |  1146133 |    81252 |   104282      0 |      152 |      149
1668.14/1668.58	c 1667s |      14 |  1146254 |    81352 |   104282      0 |      152 |      149
1670.65/1671.08	c 1669s |      14 |  1149506 |    81552 |   104282      0 |      152 |      149
1672.85/1673.23	c 1671s |      14 |  1153668 |    81752 |   104282      0 |      152 |      149
1674.95/1675.40	c 1673s |      14 |  1157471 |    81952 |   104282      0 |      152 |      149
1677.54/1677.96	c 1676s |      14 |  1160523 |    82152 |   104282      0 |      152 |      149
1680.94/1681.36	c 1679s |      14 |  1166700 |    82452 |   104282      0 |      152 |      149
1683.54/1683.97	c 1682s |      14 |  1171661 |    82752 |   104282      0 |      152 |      149
1686.04/1686.47	c 1684s |      14 |  1175372 |    82952 |   104282      0 |      152 |      149
1688.14/1688.58	c 1687s |      14 |  1178420 |    83152 |   104282      0 |      152 |      149
1690.24/1690.60	c 1689s |      14 |  1180930 |    83352 |   104282      0 |      152 |      149
1692.74/1693.13	c 1691s |      14 |  1182521 |    83552 |   104282      0 |      152 |      149
1695.74/1696.18	c 1694s |      14 |  1184345 |    83752 |   104282      0 |      152 |      149
1698.63/1699.09	c 1697s |      14 |  1188582 |    84052 |   104282      0 |      152 |      149
1700.83/1701.22	c 1699s |      14 |  1192749 |    84252 |   104282      0 |      152 |      149
1703.33/1703.72	c 1702s |      14 |  1196071 |    84452 |   104282      0 |      152 |      149
1705.53/1705.92	c 1704s |      14 |  1202618 |    84752 |   104282      0 |      152 |      149
1708.63/1709.08	c 1707s |      14 |  1204940 |    84952 |   104282      0 |      152 |      149
1711.34/1711.70	c 1710s |      14 |  1208227 |    85152 |   104282      0 |      152 |      149
1713.44/1713.90	c 1712s |      14 |  1212484 |    85352 |   104282      0 |      152 |      149
1715.53/1715.93	c 1714s |      14 |  1215744 |    85552 |   104282      0 |      152 |      149
1717.84/1718.29	c 1716s |      14 |  1218911 |    85752 |   104282      0 |      152 |      149
1720.14/1720.59	c 1719s |      14 |  1221165 |    85952 |   104282      0 |      152 |      149
1723.03/1723.43	c 1721s |      14 |  1226052 |    86252 |   104282      0 |      152 |      149
1725.33/1725.78	c 1724s |      14 |  1233453 |    86452 |   104282      0 |      152 |      149
1727.93/1728.33	c 1726s |      14 |  1238193 |    86652 |   104282      0 |      152 |      149
1731.63/1732.02	c 1730s |      14 |  1239806 |    86852 |   104282      0 |      152 |      149
1733.63/1734.06	c 1732s |      14 |  1241252 |    86952 |   104282      0 |      152 |      149
1737.74/1738.13	c 1736s |      14 |  1243197 |    87152 |   114711      0 |      152 |      149
1742.73/1743.13	c 1741s |      14 |  1244107 |    87352 |   114711      0 |      152 |      149
1745.63/1746.02	c 1744s |      14 |  1244261 |    87452 |   114711      0 |      152 |      149
1747.73/1748.12	c 1746s |      15 |  1247902 |    87632 |   114711      0 |      152 |      149
1750.33/1750.70	c 1749s |      15 |  1251261 |    87832 |   114711      0 |      152 |      149
1752.43/1752.83	c 1751s |      15 |  1254648 |    88032 |   114711      0 |      152 |      149
1755.73/1756.11	c 1754s |      15 |  1261234 |    88332 |   114711      0 |      152 |      149
1757.83/1758.23	c 1756s |      15 |  1262356 |    88432 |   114711      0 |      152 |      149
1759.93/1760.34	c 1758s |      15 |  1265958 |    88632 |   114711      0 |      152 |      149
1762.53/1762.97	c 1761s |      15 |  1270927 |    88832 |   114711      0 |      152 |      149
1764.72/1765.12	c 1763s |      15 |  1274593 |    89032 |   114711      0 |      152 |      149
1767.62/1768.04	c 1766s |      15 |  1276464 |    89232 |   114711      0 |      152 |      149
1770.22/1770.67	c 1769s |      15 |  1279994 |    89432 |   114711      0 |      152 |      149
1773.32/1773.70	c 1772s |      15 |  1284848 |    89732 |   114711      0 |      152 |      149
1775.42/1775.80	c 1774s |      15 |  1286284 |    89832 |   114711      0 |      152 |      149
1778.22/1778.65	c 1777s |      15 |  1289857 |    90032 |   114711      0 |      152 |      149
1782.02/1782.48	c 1780s |      15 |  1293565 |    90232 |   114711      0 |      152 |      149
1785.22/1785.62	c 1784s |      15 |  1297039 |    90432 |   114711      0 |      152 |      149
1787.82/1788.23	c 1786s |      15 |  1299690 |    90632 |   114711      0 |      152 |      149
1791.02/1791.46	c 1789s |      15 |  1303396 |    90832 |   114711      0 |      152 |      149
1795.52/1795.95	c 1794s |      15 |  1304761 |    91032 |   114711      0 |      152 |      149
1798.13/1798.59	c 1797s |      15 |  1305354 |    91132 |   114711      0 |      152 |      149

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

pid=9866
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.04 2.03 2.03 3/179 9869
/proc/meminfo: memFree=30581004/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=750012 CPUtime=0 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 2802 0 0 0 0 0 0 0 20 0 4 0 110796633 768012288 3164 33554432000 4194304 16246674 140734731922864 140734731922288 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 188271 3173 441 2943 0 185165 0
[pid=9869/tid=9870] ppid=9866 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 785838080 3233 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 790032384 3249 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=776636 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 795275264 3266 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 9869
/proc/meminfo: memFree=30581004/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 28819 0 0 0 5 4 0 0 20 0 4 0 110796633 1333334016 29118 33554432000 4194304 16246674 140734731922864 140734731922176 8058796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 325521 29135 800 2943 0 322415 0
[pid=9869/tid=9870] ppid=9866 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1333334016 29146 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1333334016 29158 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1333334016 29170 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.20054 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 9869
/proc/meminfo: memFree=30581004/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 45968 0 0 0 13 6 0 0 20 0 4 0 110796633 1344868352 46778 33554432000 4194304 16246674 140734731922864 140734731922176 8057096 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328337 46778 800 2943 0 325231 0
[pid=9869/tid=9870] ppid=9866 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1344868352 46778 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1344868352 46778 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1344868352 46778 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300528 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 9869
/proc/meminfo: memFree=30581004/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 56047 0 0 0 22 7 0 0 20 0 4 0 110796633 1344868352 56857 33554432000 4194304 16246674 140734731922864 140734731922176 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328337 56857 800 2943 0 325231 0
[pid=9869/tid=9870] ppid=9866 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1344868352 56857 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1344868352 56857 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1344868352 56857 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700417 s]
/proc/loadavg: 2.04 2.03 2.03 3/179 9869
/proc/meminfo: memFree=30581004/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 84211 0 0 0 58 11 0 0 20 0 4 0 110796633 1346965504 85021 33554432000 4194304 16246674 140734731922864 140734731905856 5886100 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 85030 834 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 85036 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 85042 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 85049 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1315396

[startup+1.50043 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 9873
/proc/meminfo: memFree=29935152/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1.48 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 216171 0 0 0 117 31 0 0 20 0 4 0 110796633 1346965504 216981 33554432000 4194304 16246674 140734731922864 140734731922176 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 216981 836 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 216981 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 216981 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 216981 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1315396

[startup+3.10044 s]
/proc/loadavg: 2.04 2.03 2.03 3/183 9873
/proc/meminfo: memFree=29713332/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=3.08 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 216226 0 0 0 277 31 0 0 20 0 4 0 110796633 1346965504 217036 33554432000 4194304 16246674 140734731922864 140734731904768 12483583 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 217036 891 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 217036 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 217036 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 217036 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1315396

[startup+6.30044 s]
/proc/loadavg: 2.03 2.03 2.03 3/183 9873
/proc/meminfo: memFree=29500308/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=6.29 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269526 0 0 0 589 40 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 140734731904768 12483481 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270336 891 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.03 2.03 2.03 3/183 9873
/proc/meminfo: memFree=29500100/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269526 0 0 0 1229 40 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 140734731904768 13820864 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270336 891 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.02 2.03 2.02 3/183 9873
/proc/meminfo: memFree=29500604/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269526 0 0 0 2509 40 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 140734731904768 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270336 891 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.01 2.03 2.02 3/183 9873
/proc/meminfo: memFree=29500612/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=51.08 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269526 0 0 0 5068 40 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 140734731904768 5829752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270336 891 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270336 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.301 s]
/proc/loadavg: 2.13 2.05 2.03 3/183 9874
/proc/meminfo: memFree=29500240/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=102.28 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269531 0 0 0 10188 40 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1315396


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

/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1315396

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 9953
/proc/meminfo: memFree=29799448/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1302 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269703 0 0 0 130158 42 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 6836961 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 9954
/proc/meminfo: memFree=29798236/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1361.99 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 136156 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5661013 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 9958
/proc/meminfo: memFree=29731064/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1421.98 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 142155 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 9983
/proc/meminfo: memFree=29649688/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1481.97 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 148154 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5712550 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.00 2.01 2.00 3/183 9984
/proc/meminfo: memFree=29536044/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1541.97 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 154154 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5677720 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9985
/proc/meminfo: memFree=29459292/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1601.95 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 160152 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9986
/proc/meminfo: memFree=29457944/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1661.94 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 166151 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9987
/proc/meminfo: memFree=29457500/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1721.93 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 172150 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 9989
/proc/meminfo: memFree=29455968/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1781.92 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 178149 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 12483307 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.01 2.00 4/183 9989
/proc/meminfo: memFree=29456624/32872528 swapFree=12744/274376
[pid=9869] ppid=9866 vsize=1315396 CPUtime=1800.02 cores=1,3,5,7
/proc/9869/stat : 9869 (toysat) R 9866 9869 5566 0 -1 4202496 269730 0 0 0 179959 43 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 140734731904768 5712608 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9869/statm: 328849 270341 895 2943 0 325743 0
[pid=9869/tid=9870] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9870/stat : 9870 (toysat) S 9866 9869 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712992881904 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9869/tid=9871] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9871/stat : 9871 (toysat) S 9866 9869 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712982392048 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9869/tid=9872] ppid=9866 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/9869/task/9872/stat : 9872 (toysat) S 9866 9869 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 110796633 1346965504 270341 33554432000 4194304 16246674 140734731922864 139712870214832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 9869 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.03
CPU user time (s): 1799.6
CPU system time (s): 0.434933
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.434933
maximum resident set size= 1081364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269730
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= 213
involuntary context switches= 1838

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6243 second user time and 6.91795 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 10:36:59
IDJOB=4080028
IDBENCH=90353
IDSOLVER=2542
FILE ID=node107/4080028-1465288619
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null0mast_rapportOE1.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-4080028-1465288619/watcher-4080028-1465288619 -o /tmp/evaluation-result-4080028-1465288619/solver-4080028-1465288619 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080028-1465288619.opb

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

MD5SUM BENCH= 8e8a9709ab0638484b49ff5cae7622ac
RANDOM SEED=416953674

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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:        30581648 kB
Buffers:           67980 kB
Cached:           133256 kB
SwapCached:         1652 kB
Active:          1172636 kB
Inactive:         110580 kB
Active(anon):    1079084 kB
Inactive(anon):     5256 kB
Active(file):      93552 kB
Inactive(file):   105324 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098528 kB
Dirty:             18660 kB
Writeback:             0 kB
AnonPages:       1448228 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             599652 kB
SReclaimable:      43180 kB
SUnreclaim:       556472 kB
KernelStack:        1520 kB
PageTables:         7132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1497976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 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= 71696 MiB
End job on node107 at 2016-06-07 11:06:59