Trace number 4089407

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 1137.23 1137.55

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
vertexcover-instances/normalized-vertexcover-grid4x21-hard.opb
MD5SUMdde958ccc8a40404034f54f903b25bc9
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.004999
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables84
Total number of constraints169
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint84
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 43
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 127
Number of bits of the biggest sum of numbers7
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-15T23:39:03+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-4089407-1466026743.opb"]
0.00/0.01	c use --random-gen="1260105827 2728925242 2483474339 3726928354 233863646 2651705864 1813280871 973374003 2636411930 3734980595 2033470385 1185956132 3301746053 2160703003 2794050846 3119117737 3582646795 1152865733 2940516433 2251577690 1725443555 3681265747 640376149 773565727 803243782 3216939341 3954077628 1250537264 2567906725 118701206 1182786692 3986101974 1490102924 1059406956 2960813420 3805657618 2087114182 1188912846 109441338 2624620333 456603982 3219322130 3792289273 2944673713 486191619 111889068 3602409272 2820941784 2355845556 1107928805 1502552913 3570374320 3990752638 541498975 1588777297 9004212 2014146867 100130490 2402733397 598288899 2931501150 1331262409 3107392170 971513535 2427395593 3498087051 2525312496 1916401047 1275097314 1146842294 1350862971 3142467082 3209872105 259368437 3507410798 1124103088 4017317414 3348411526 2979844546 2716643648 178308899 1338182848 334960387 4259878098 990758204 75749604 3703402770 1419539658 2258519154 1890183043 4178264573 2168515062 3647259187 2160287300 2354926338 3795575986 907342599 1377896254 3606507304 1488247840 612314063 4191449246 2965226726 1869906594 2401718436 686818261 765385183 3405837013 209088929 252241299 3467683885 3504445098 2544682271 3369942735 2935922911 1201079259 4216312074 620554019 2072033310 904882692 1197463865 22841998 1552117998 3285183416 3478695203 520709003 3909564526 524611350 2733882415 1148518379 3959631252 3154100081 2690485249 223933006 548796276 3730493141 937253673 699372676 1042009813 1624393141 2903943352 1384961292 3069045886 290587224 1616637939 525010538 1384700374 2826912822 2670395600 283232730 3789723620 3010476388 2189347781 2076694644 3403204676 3117704993 4068769328 3117059349 3078565470 3623824456 1227784188 2926239771 1510545613 171619368 868194129 530842859 1656805068 557672193 3463716845 3855050429 1256712337 2649793597 2989545419 3821444618 1143310608 502421264 1170761576 2945369824 872586941 1821127367 19240940 222725568 1872697175 978118441 3304378683 2493621157 3023478773 864106185 3047037151 4246750845 1449842025 3359536824 1009470377 2914386136 2320641144 1675531259 921911488 345243493 791742192 3678739196 652882341 564933740 3475236776 66119041 239451046 2768867366 4126722184 896064628 75485398 2033300245 1591256777 715415684 255527190 2898456633 3021108324 1781226281 323513048 3801209746 635366422 90088976 2730443176 438783104 1271543674 3018996805 910107315 4197211470 4284024790 3573100368 1778919276 3497125358 2493315015 590452088 1160889946 3359271227 3614467188 2787407775 1028193598 1815455502 3440530098 4285226582 2770575856 3853728717 1305515026 2258537884 2426877946 2916286282 2942424579 1745439926 2929528680 2473359613 1992882941 2638747821 3030100743 707934162 34868578 738788841 255 362436" option to reproduce the execution
0.00/0.01	c #vars 84
0.00/0.01	c #constraints 169
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       84      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      163 |      100 |       84      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      374 |      250 |       93      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      669 |      475 |      103      6 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1052 |      813 |      114     10 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1599 |     1320 |      126     16 |        0 |        0
0.19/0.25	c  0.2s |       6 |     2395 |     2081 |      153     25 |        0 |        0
0.29/0.38	c  0.4s |       7 |     3605 |     3223 |      169     37 |        0 |        0
0.49/0.58	c  0.6s |       8 |     5424 |     4936 |      186     54 |        0 |        0
0.79/0.87	c  0.9s |       9 |     8083 |     7506 |      205     77 |        0 |        0
1.10/1.17	c  1.2s |      10 |    12215 |    11361 |      226    109 |        0 |        0
1.59/1.65	c  1.6s |      11 |    18182 |    17144 |      249    154 |        0 |        0
2.30/2.32	c  2.3s |      12 |    27315 |    25819 |      274    215 |        0 |        0
3.30/3.38	c  3.4s |      13 |    40745 |    38832 |      302    300 |        0 |        0
4.89/4.99	c  5.0s |      14 |    61232 |    58352 |      333    416 |        0 |        0
6.99/7.00	c  7.0s |      14 |    86902 |    82152 |      333    547 |        0 |        0
7.39/7.46	c  7.5s |      15 |    92645 |    87632 |      367    576 |        0 |        0
9.39/9.47	c  9.5s |      15 |   118092 |   111332 |      367    695 |        0 |        0
11.09/11.18	c 11.2s |      16 |   139887 |   131552 |      404    796 |        0 |        0
13.09/13.19	c 13.2s |      16 |   166529 |   155252 |      404    905 |        0 |        0
15.09/15.19	c 15.2s |      16 |   192415 |   178852 |      404   1014 |        0 |        0
16.69/16.73	c 16.7s |      17 |   212304 |   197432 |      445   1099 |        0 |        0
18.69/18.74	c 18.7s |      17 |   237646 |   220832 |      445   1197 |        0 |        0
20.68/20.74	c 20.7s |      17 |   263056 |   244132 |      445   1296 |        0 |        0
22.68/22.75	c 22.7s |      17 |   288493 |   267632 |      445   1394 |        0 |        0
24.68/24.75	c 24.7s |      17 |   313729 |   291332 |      445   1494 |        0 |        0
25.08/25.17	c 25.2s |      18 |   318973 |   296252 |      490   1514 |        0 |        0
27.08/27.17	c 27.2s |      18 |   344603 |   319552 |      490   1603 |        0 |        0
29.08/29.17	c 29.2s |      18 |   369668 |   342852 |      490   1693 |        0 |        0
31.08/31.18	c 31.2s |      18 |   394700 |   366052 |      490   1782 |        0 |        0
33.09/33.18	c 33.2s |      18 |   419483 |   389552 |      490   1873 |        0 |        0
35.08/35.19	c 35.2s |      18 |   444808 |   412852 |      490   1963 |        0 |        0
37.08/37.19	c 37.2s |      18 |   469990 |   436352 |      490   2053 |        0 |        0
37.78/37.88	c 37.9s |      19 |   478789 |   444482 |      539   2084 |        0 |        0
39.78/39.89	c 39.9s |      19 |   504532 |   467482 |      539   2165 |        0 |        0
41.79/41.89	c 41.9s |      19 |   529924 |   490782 |      539   2247 |        0 |        0
43.79/43.89	c 43.9s |      19 |   554554 |   513882 |      539   2328 |        0 |        0
45.89/45.90	c 45.9s |      19 |   579457 |   537282 |      539   2411 |        0 |        0
47.89/47.90	c 47.9s |      19 |   604639 |   560782 |      539   2493 |        0 |        0
49.89/49.90	c 49.9s |      19 |   629238 |   583982 |      539   2575 |        0 |        0
51.89/51.91	c 51.9s |      19 |   654606 |   607782 |      539   2659 |        0 |        0
53.89/53.92	c 53.9s |      19 |   680765 |   631682 |      539   2743 |        0 |        0
55.88/55.92	c 55.9s |      19 |   705622 |   654282 |      539   2823 |        0 |        0
56.98/57.04	c 57.0s |      20 |   719853 |   666827 |      593   2865 |        0 |        0
58.98/59.04	c 59.0s |      20 |   744245 |   689227 |      593   2937 |        0 |        0
60.98/61.05	c 61.0s |      20 |   769697 |   712027 |      593   3010 |        0 |        0
62.98/63.05	c 63.0s |      20 |   795136 |   734827 |      593   3083 |        0 |        0
64.99/65.06	c 65.0s |      20 |   820633 |   757727 |      593   3157 |        0 |        0
66.98/67.06	c 67.0s |      20 |   845891 |   780027 |      593   3229 |        0 |        0
68.98/69.06	c 69.1s |      20 |   871249 |   802527 |      593   3301 |        0 |        0
70.98/71.06	c 71.1s |      20 |   897761 |   825627 |      593   3376 |        0 |        0
72.98/73.07	c 73.1s |      20 |   923903 |   848827 |      593   3450 |        0 |        0
74.98/75.07	c 75.1s |      20 |   948102 |   871227 |      593   3522 |        0 |        0
76.98/77.08	c 77.1s |      20 |   972645 |   893927 |      593   3595 |        0 |        0
78.98/79.08	c 79.1s |      20 |   997917 |   916727 |      593   3669 |        0 |        0
80.97/81.09	c 81.1s |      20 |  1023336 |   939827 |      593   3743 |        0 |        0
82.97/83.09	c 83.1s |      20 |  1049416 |   963227 |      593   3819 |        0 |        0
85.07/85.10	c 85.1s |      20 |  1074694 |   986127 |      593   3893 |        0 |        0
86.27/86.37	c 86.4s |      21 |  1089923 |  1000345 |      653   3937 |        0 |        0
88.27/88.38	c 88.4s |      21 |  1114202 |  1022345 |      653   4001 |        0 |        0
90.28/90.38	c 90.4s |      21 |  1137944 |  1044345 |      653   4066 |        0 |        0
92.27/92.39	c 92.4s |      21 |  1161997 |  1066445 |      653   4130 |        0 |        0
94.28/94.40	c 94.4s |      21 |  1186410 |  1088845 |      653   4196 |        0 |        0
96.38/96.40	c 96.4s |      21 |  1210435 |  1111145 |      653   4261 |        0 |        0
98.38/98.40	c 98.4s |      21 |  1234759 |  1133445 |      653   4327 |        0 |        0
100.38/100.41	c  100s |      21 |  1259407 |  1155845 |      653   4392 |        0 |        0
102.38/102.41	c  102s |      21 |  1284854 |  1178445 |      653   4459 |        0 |        0
104.37/104.41	c  104s |      21 |  1309860 |  1200945 |      653   4524 |        0 |        0
106.37/106.42	c  106s |      21 |  1334964 |  1223645 |      653   4591 |        0 |        0
108.37/108.42	c  108s |      21 |  1360036 |  1246145 |      653   4657 |        0 |        0
110.37/110.43	c  110s |      21 |  1384204 |  1268845 |      653   4723 |        0 |        0
112.37/112.43	c  112s |      21 |  1408874 |  1291545 |      653   4790 |        0 |        0
114.38/114.43	c  114s |      21 |  1433672 |  1314345 |      653   4857 |        0 |        0
116.37/116.44	c  116s |      21 |  1459399 |  1337245 |      653   4924 |        0 |        0
118.37/118.44	c  118s |      21 |  1483767 |  1359445 |      653   4990 |        0 |        0
120.37/120.44	c  120s |      21 |  1508826 |  1382245 |      653   5057 |        0 |        0
122.37/122.45	c  122s |      21 |  1533849 |  1405445 |      653   5125 |        0 |        0
124.38/124.45	c  124s |      21 |  1559003 |  1428545 |      653   5193 |        0 |        0
126.37/126.46	c  126s |      21 |  1583644 |  1451645 |      653   5261 |        0 |        0
128.37/128.46	c  128s |      21 |  1609265 |  1474845 |      653   5329 |        0 |        0
130.37/130.47	c  130s |      21 |  1633474 |  1497545 |      719   5394 |        0 |        0
130.67/130.74	c  130s |      22 |  1636661 |  1500622 |      719   5402 |        0 |        0
132.67/132.74	c  132s |      22 |  1660132 |  1522622 |      719   5460 |        0 |        0
134.67/134.74	c  134s |      22 |  1684918 |  1544422 |      719   5519 |        0 |        0
136.67/136.75	c  136s |      22 |  1709039 |  1566122 |      719   5577 |        0 |        0
138.68/138.75	c  138s |      22 |  1732686 |  1588322 |      719   5636 |        0 |        0
140.67/140.75	c  140s |      22 |  1755851 |  1610422 |      719   5695 |        0 |        0
142.67/142.76	c  142s |      22 |  1779554 |  1632922 |      719   5755 |        0 |        0
144.67/144.76	c  144s |      22 |  1803484 |  1655222 |      719   5815 |        0 |        0
146.67/146.77	c  146s |      22 |  1827233 |  1677022 |      719   5873 |        0 |        0
148.67/148.77	c  148s |      22 |  1852067 |  1699022 |      719   5932 |        0 |        0
150.67/150.78	c  150s |      22 |  1876033 |  1721622 |      719   5993 |        0 |        0
152.66/152.79	c  152s |      22 |  1899508 |  1743422 |      719   6051 |        0 |        0
154.66/154.79	c  154s |      22 |  1923716 |  1765122 |      719   6109 |        0 |        0
156.66/156.79	c  156s |      22 |  1947627 |  1787122 |      719   6168 |        0 |        0
158.66/158.79	c  158s |      22 |  1971640 |  1809422 |      719   6228 |        0 |        0
160.67/160.79	c  160s |      22 |  1996574 |  1831722 |      719   6288 |        0 |        0
162.66/162.79	c  162s |      22 |  2021627 |  1854222 |      719   6348 |        0 |        0
164.76/164.80	c  164s |      22 |  2046916 |  1876922 |      719   6409 |        0 |        0
166.76/166.80	c  166s |      22 |  2072446 |  1899822 |      719   6470 |        0 |        0
168.76/168.81	c  168s |      22 |  2097289 |  1922022 |      719   6530 |        0 |        0
170.77/170.81	c  170s |      22 |  2121503 |  1944022 |      719   6588 |        0 |        0
172.77/172.82	c  172s |      22 |  2146323 |  1966122 |      719   6647 |        0 |        0
174.77/174.82	c  174s |      22 |  2171182 |  1988322 |      719   6707 |        0 |        0
176.77/176.83	c  176s |      22 |  2196082 |  2010922 |      719   6768 |        0 |        0
178.76/178.83	c  178s |      22 |  2220818 |  2033422 |      719   6828 |        0 |        0
180.76/180.84	c  180s |      22 |  2247083 |  2056622 |      719   6890 |        0 |        0
182.76/182.84	c  182s |      22 |  2272673 |  2079822 |      719   6953 |        0 |        0
184.77/184.85	c  184s |      22 |  2299957 |  2102922 |      719   7015 |        0 |        0
186.76/186.85	c  186s |      22 |  2323832 |  2124922 |      719   7073 |        0 |        0
188.76/188.85	c  188s |      22 |  2347309 |  2146922 |      719   7132 |        0 |        0
190.76/190.85	c  190s |      22 |  2371534 |  2168622 |      719   7190 |        0 |        0
192.76/192.86	c  192s |      22 |  2395684 |  2190922 |      719   7250 |        0 |        0
194.76/194.86	c  194s |      22 |  2419870 |  2213122 |      719   7309 |        0 |        0
196.76/196.87	c  196s |      22 |  2444520 |  2235522 |      791   7369 |        0 |        0
198.16/198.26	c  198s |      23 |  2461237 |  2251038 |      791   7407 |        0 |        0
200.17/200.27	c  200s |      23 |  2484381 |  2272538 |      791   7459 |        0 |        0
202.16/202.27	c  202s |      23 |  2507526 |  2294138 |      791   7512 |        0 |        0
204.16/204.28	c  204s |      23 |  2531566 |  2315738 |      791   7564 |        0 |        0
206.16/206.29	c  206s |      23 |  2555153 |  2337338 |      791   7617 |        0 |        0
208.16/208.29	c  208s |      23 |  2578199 |  2359038 |      791   7670 |        0 |        0
210.17/210.29	c  210s |      23 |  2601506 |  2380938 |      791   7724 |        0 |        0
212.16/212.30	c  212s |      23 |  2625165 |  2402938 |      791   7778 |        0 |        0
214.26/214.30	c  214s |      23 |  2648525 |  2424338 |      791   7830 |        0 |        0
216.26/216.31	c  216s |      23 |  2671353 |  2445738 |      791   7882 |        0 |        0
218.26/218.31	c  218s |      23 |  2694493 |  2467438 |      791   7935 |        0 |        0
220.25/220.32	c  220s |      23 |  2717634 |  2489438 |      791   7989 |        0 |        0
222.26/222.32	c  222s |      23 |  2741234 |  2511338 |      791   8042 |        0 |        0
224.25/224.32	c  224s |      23 |  2764911 |  2533438 |      791   8096 |        0 |        0
226.25/226.33	c  226s |      23 |  2789200 |  2555438 |      791   8150 |        0 |        0
228.25/228.34	c  228s |      23 |  2813597 |  2577538 |      791   8204 |        0 |        0
230.26/230.34	c  230s |      23 |  2836979 |  2598938 |      791   8256 |        0 |        0
232.26/232.35	c  232s |      23 |  2861287 |  2620938 |      791   8310 |        0 |        0
234.26/234.36	c  234s |      23 |  2885443 |  2643038 |      791   8364 |        0 |        0
236.25/236.36	c  236s |      23 |  2909355 |  2665038 |      791   8418 |        0 |        0
238.25/238.37	c  238s |      23 |  2933432 |  2687138 |      791   8472 |        0 |        0
240.25/240.37	c  240s |      23 |  2957353 |  2709538 |      791   8526 |        0 |        0
242.25/242.38	c  242s |      23 |  2981263 |  2731938 |      791   8581 |        0 |        0
244.26/244.38	c  244s |      23 |  3004394 |  2753138 |      791   8633 |        0 |        0
246.25/246.39	c  246s |      23 |  3027718 |  2774538 |      791   8685 |        0 |        0
248.25/248.39	c  248s |      23 |  3051634 |  2796238 |      791   8738 |        0 |        0
250.35/250.40	c  250s |      23 |  3076021 |  2817738 |      791   8790 |        0 |        0
252.35/252.40	c  252s |      23 |  3100923 |  2838838 |      791   8842 |        0 |        0
254.35/254.41	c  254s |      23 |  3124827 |  2860938 |      791   8896 |        0 |        0
256.36/256.42	c  256s |      23 |  3148313 |  2882938 |      791   8950 |        0 |        0
258.35/258.43	c  258s |      23 |  3172152 |  2905338 |      791   9004 |        0 |        0
260.35/260.43	c  260s |      23 |  3196431 |  2927238 |      791   9058 |        0 |        0
262.35/262.43	c  262s |      23 |  3221371 |  2949438 |      791   9112 |        0 |        0
264.35/264.44	c  264s |      23 |  3246236 |  2971938 |      791   9168 |        0 |        0
266.35/266.44	c  266s |      23 |  3270341 |  2993738 |      791   9221 |        0 |        0
268.36/268.45	c  268s |      23 |  3295635 |  3016338 |      791   9276 |        0 |        0
270.35/270.45	c  270s |      23 |  3320181 |  3039338 |      791   9333 |        0 |        0
272.35/272.45	c  272s |      23 |  3344539 |  3061238 |      791   9386 |        0 |        0
274.35/274.46	c  274s |      23 |  3368796 |  3082838 |      791   9439 |        0 |        0
276.35/276.47	c  276s |      23 |  3392991 |  3104638 |      791   9492 |        0 |        0
278.36/278.47	c  278s |      23 |  3417884 |  3126838 |      791   9546 |        0 |        0
280.35/280.48	c  280s |      23 |  3442995 |  3149638 |      791   9602 |        0 |        0
282.35/282.48	c  282s |      23 |  3467534 |  3172238 |      791   9657 |        0 |        0
284.35/284.48	c  284s |      23 |  3492138 |  3194638 |      791   9712 |        0 |        0
286.35/286.48	c  286s |      23 |  3517343 |  3217338 |      791   9768 |        0 |        0
288.35/288.48	c  288s |      23 |  3542583 |  3239838 |      791   9823 |        0 |        0
290.35/290.49	c  290s |      23 |  3567955 |  3262738 |      791   9879 |        0 |        0
292.34/292.49	c  292s |      23 |  3593761 |  3286038 |      791   9936 |        0 |        0
294.44/294.50	c  294s |      23 |  3618660 |  3308538 |      791   9991 |        0 |        0
296.44/296.50	c  296s |      23 |  3643999 |  3330838 |      791  10045 |        0 |        0
298.44/298.50	c  298s |      23 |  3669714 |  3353438 |      871  10100 |        0 |        0
300.44/300.51	c  300s |      23 |  3695528 |  3376138 |      871  10151 |        0 |        0
300.44/300.55	c  300s |      24 |  3696093 |  3376662 |      871  10152 |        0 |        0
302.46/302.56	c  302s |      24 |  3719343 |  3398362 |      871  10200 |        0 |        0
304.45/304.56	c  304s |      24 |  3742588 |  3420062 |      871  10248 |        0 |        0
306.45/306.56	c  306s |      24 |  3766395 |  3441462 |      871  10296 |        0 |        0
308.44/308.56	c  308s |      24 |  3789746 |  3462762 |      871  10343 |        0 |        0
310.44/310.57	c  310s |      24 |  3813006 |  3483862 |      871  10390 |        0 |        0
312.45/312.58	c  312s |      24 |  3836521 |  3505462 |      871  10438 |        0 |        0
314.44/314.59	c  314s |      24 |  3861550 |  3527462 |      871  10487 |        0 |        0
316.44/316.60	c  316s |      24 |  3885838 |  3549462 |      871  10535 |        0 |        0
318.54/318.60	c  318s |      24 |  3909649 |  3571662 |      871  10585 |        0 |        0
320.54/320.61	c  320s |      24 |  3934091 |  3594062 |      871  10635 |        0 |        0
322.54/322.61	c  322s |      24 |  3957645 |  3616162 |      871  10684 |        0 |        0
324.55/324.61	c  324s |      24 |  3981901 |  3638862 |      871  10735 |        0 |        0
326.54/326.61	c  326s |      24 |  4005986 |  3661262 |      871  10785 |        0 |        0
328.54/328.62	c  328s |      24 |  4028599 |  3682162 |      871  10831 |        0 |        0
330.54/330.63	c  330s |      24 |  4051792 |  3703562 |      871  10878 |        0 |        0
332.54/332.63	c  332s |      24 |  4074992 |  3725062 |      871  10926 |        0 |        0
334.54/334.63	c  334s |      24 |  4098808 |  3746662 |      871  10974 |        0 |        0
336.55/336.64	c  336s |      24 |  4122557 |  3768662 |      871  11023 |        0 |        0
338.54/338.65	c  338s |      24 |  4146130 |  3790962 |      871  11073 |        0 |        0
340.54/340.66	c  340s |      24 |  4169671 |  3813162 |      871  11122 |        0 |        0
342.54/342.66	c  342s |      24 |  4193708 |  3835362 |      871  11172 |        0 |        0
344.54/344.67	c  344s |      24 |  4218144 |  3857762 |      871  11222 |        0 |        0
346.54/346.67	c  346s |      24 |  4244771 |  3880362 |      871  11272 |        0 |        0
348.54/348.67	c  348s |      24 |  4268467 |  3901962 |      871  11320 |        0 |        0
350.54/350.68	c  350s |      24 |  4293020 |  3923862 |      871  11369 |        0 |        0
352.54/352.68	c  352s |      24 |  4317033 |  3945962 |      871  11418 |        0 |        0
354.54/354.68	c  354s |      24 |  4341922 |  3968362 |      871  11468 |        0 |        0
356.53/356.69	c  356s |      24 |  4367271 |  3991162 |      871  11519 |        0 |        0
358.54/358.69	c  358s |      24 |  4392309 |  4014062 |      871  11570 |        0 |        0
360.63/360.70	c  360s |      24 |  4415776 |  4035362 |      871  11618 |        0 |        0
362.63/362.70	c  362s |      24 |  4440038 |  4056462 |      871  11664 |        0 |        0
364.63/364.71	c  364s |      24 |  4465080 |  4077862 |      871  11712 |        0 |        0
366.63/366.72	c  366s |      24 |  4488274 |  4099362 |      871  11760 |        0 |        0
368.63/368.72	c  368s |      24 |  4512041 |  4120562 |      871  11807 |        0 |        0
370.64/370.73	c  370s |      24 |  4536237 |  4141962 |      871  11855 |        0 |        0
372.64/372.73	c  372s |      24 |  4559812 |  4163562 |      871  11903 |        0 |        0
374.64/374.74	c  374s |      24 |  4583110 |  4185062 |      871  11950 |        0 |        0
376.64/376.74	c  376s |      24 |  4606596 |  4206862 |      871  11999 |        0 |        0
378.63/378.75	c  378s |      24 |  4630404 |  4228762 |      871  12048 |        0 |        0
380.64/380.75	c  380s |      24 |  4654336 |  4250462 |      871  12096 |        0 |        0
382.63/382.75	c  382s |      24 |  4678751 |  4273062 |      871  12146 |        0 |        0
384.63/384.76	c  384s |      24 |  4703628 |  4295762 |      871  12197 |        0 |        0
386.63/386.76	c  386s |      24 |  4727355 |  4317262 |      871  12245 |        0 |        0
388.63/388.77	c  388s |      24 |  4752173 |  4339362 |      871  12294 |        0 |        0
390.63/390.77	c  390s |      24 |  4776528 |  4361362 |      871  12343 |        0 |        0
392.64/392.78	c  392s |      24 |  4801439 |  4384062 |      871  12394 |        0 |        0
394.63/394.79	c  394s |      24 |  4826381 |  4406862 |      871  12445 |        0 |        0
396.73/396.80	c  396s |      24 |  4851689 |  4429762 |      871  12496 |        0 |        0
398.73/398.80	c  398s |      24 |  4875916 |  4451862 |      871  12545 |        0 |        0
400.73/400.81	c  400s |      24 |  4899266 |  4473462 |      871  12593 |        0 |        0
402.73/402.81	c  402s |      24 |  4923069 |  4495162 |      871  12641 |        0 |        0
404.73/404.81	c  404s |      24 |  4947336 |  4517262 |      871  12691 |        0 |        0
406.73/406.82	c  406s |      24 |  4972074 |  4539762 |      871  12741 |        0 |        0
408.72/408.83	c  408s |      24 |  4996878 |  4562462 |      871  12792 |        0 |        0
410.72/410.83	c  410s |      24 |  5021110 |  4584762 |      871  12841 |        0 |        0
412.72/412.83	c  412s |      24 |  5046252 |  4607462 |      871  12892 |        0 |        0
414.73/414.83	c  414s |      24 |  5071907 |  4630462 |      871  12943 |        0 |        0
416.73/416.84	c  416s |      24 |  5097615 |  4653162 |      871  12994 |        0 |        0
418.73/418.84	c  418s |      24 |  5120471 |  4674162 |      871  13040 |        0 |        0
420.73/420.85	c  420s |      24 |  5143559 |  4695562 |      871  13088 |        0 |        0
422.73/422.86	c  422s |      24 |  5167123 |  4717162 |      871  13136 |        0 |        0
424.73/424.86	c  424s |      24 |  5190253 |  4738562 |      871  13183 |        0 |        0
426.73/426.86	c  426s |      24 |  5213140 |  4759862 |      871  13230 |        0 |        0
428.72/428.87	c  428s |      24 |  5236737 |  4781562 |      871  13279 |        0 |        0
430.72/430.87	c  430s |      24 |  5260873 |  4803262 |      871  13327 |        0 |        0
432.72/432.87	c  432s |      24 |  5284957 |  4825162 |      871  13376 |        0 |        0
434.72/434.87	c  434s |      24 |  5308187 |  4846862 |      871  13424 |        0 |        0
436.73/436.87	c  436s |      24 |  5333051 |  4869162 |      871  13474 |        0 |        0
438.72/438.88	c  438s |      24 |  5357590 |  4891862 |      871  13524 |        0 |        0
440.72/440.88	c  440s |      24 |  5381902 |  4914162 |      871  13574 |        0 |        0
442.72/442.89	c  442s |      24 |  5406504 |  4937262 |      871  13625 |        0 |        0
444.72/444.89	c  444s |      24 |  5430916 |  4959962 |      871  13676 |        0 |        0
446.72/446.89	c  446s |      24 |  5454785 |  4982362 |      871  13726 |        0 |        0
448.72/448.89	c  448s |      24 |  5479395 |  5004962 |      871  13776 |        0 |        0
450.73/450.89	c  450s |      24 |  5504256 |  5027662 |      871  13827 |        0 |        0
452.82/452.90	c  452s |      24 |  5528473 |  5050062 |      959  13873 |        0 |        0
454.12/454.28	c  454s |      25 |  5544298 |  5065098 |      959  13903 |        0 |        0
456.12/456.28	c  456s |      25 |  5567461 |  5086498 |      959  13946 |        0 |        0
458.22/458.30	c  458s |      25 |  5591014 |  5106898 |      959  13988 |        0 |        0
460.22/460.31	c  460s |      25 |  5614951 |  5127398 |      959  14029 |        0 |        0
462.22/462.31	c  462s |      25 |  5639945 |  5148098 |      959  14071 |        0 |        0
464.22/464.31	c  464s |      25 |  5662909 |  5168698 |      959  14113 |        0 |        0
466.22/466.32	c  466s |      25 |  5686896 |  5189498 |      959  14155 |        0 |        0
468.22/468.33	c  468s |      25 |  5710826 |  5210798 |      959  14198 |        0 |        0
470.22/470.33	c  470s |      25 |  5734812 |  5232198 |      959  14241 |        0 |        0
472.22/472.33	c  472s |      25 |  5757894 |  5253198 |      959  14284 |        0 |        0
474.22/474.34	c  474s |      25 |  5781626 |  5274398 |      959  14327 |        0 |        0
476.22/476.34	c  476s |      25 |  5804153 |  5294998 |      959  14369 |        0 |        0
478.21/478.35	c  478s |      25 |  5827383 |  5315498 |      959  14410 |        0 |        0
480.21/480.36	c  480s |      25 |  5850485 |  5336098 |      959  14452 |        0 |        0
482.21/482.36	c  482s |      25 |  5873557 |  5357198 |      959  14495 |        0 |        0
484.21/484.36	c  484s |      25 |  5896532 |  5378398 |      959  14538 |        0 |        0
486.22/486.36	c  486s |      25 |  5919290 |  5399798 |      959  14581 |        0 |        0
488.21/488.36	c  488s |      25 |  5943095 |  5421198 |      959  14625 |        0 |        0
490.22/490.37	c  490s |      25 |  5966648 |  5442498 |      959  14668 |        0 |        0
492.22/492.37	c  492s |      25 |  5990931 |  5463998 |      959  14712 |        0 |        0
494.22/494.38	c  494s |      25 |  6015289 |  5485698 |      959  14756 |        0 |        0
496.22/496.38	c  496s |      25 |  6038932 |  5506998 |      959  14799 |        0 |        0
498.22/498.39	c  498s |      25 |  6060294 |  5526798 |      959  14839 |        0 |        0
500.21/500.39	c  500s |      25 |  6082525 |  5546898 |      959  14880 |        0 |        0
502.21/502.39	c  502s |      25 |  6104846 |  5567198 |      959  14921 |        0 |        0
504.31/504.40	c  504s |      25 |  6127486 |  5587798 |      959  14963 |        0 |        0
506.31/506.41	c  506s |      25 |  6149945 |  5608898 |      959  15005 |        0 |        0
508.31/508.42	c  508s |      25 |  6172677 |  5629698 |      959  15047 |        0 |        0
510.32/510.42	c  510s |      25 |  6195816 |  5650998 |      959  15091 |        0 |        0
512.31/512.43	c  512s |      25 |  6218575 |  5672198 |      959  15134 |        0 |        0
514.31/514.43	c  514s |      25 |  6241763 |  5693498 |      959  15177 |        0 |        0
516.31/516.43	c  516s |      25 |  6265953 |  5714798 |      959  15220 |        0 |        0
518.31/518.44	c  518s |      25 |  6289528 |  5735998 |      959  15263 |        0 |        0
520.31/520.45	c  520s |      25 |  6314134 |  5757598 |      959  15307 |        0 |        0
522.31/522.45	c  522s |      25 |  6337998 |  5778998 |      959  15350 |        0 |        0
524.31/524.46	c  524s |      25 |  6359768 |  5799798 |      959  15392 |        0 |        0
526.31/526.46	c  526s |      25 |  6381982 |  5820898 |      959  15435 |        0 |        0
528.31/528.47	c  528s |      25 |  6404267 |  5841898 |      959  15477 |        0 |        0
530.31/530.47	c  530s |      25 |  6426995 |  5863098 |      959  15520 |        0 |        0
532.32/532.47	c  532s |      25 |  6450527 |  5883798 |      959  15562 |        0 |        0
534.31/534.48	c  534s |      25 |  6473664 |  5904998 |      959  15605 |        0 |        0
536.31/536.48	c  536s |      25 |  6496873 |  5926398 |      959  15648 |        0 |        0
538.31/538.49	c  538s |      25 |  6520114 |  5948298 |      959  15693 |        0 |        0
540.31/540.49	c  540s |      25 |  6543525 |  5970298 |      959  15738 |        0 |        0
542.32/542.50	c  542s |      25 |  6566336 |  5992098 |      959  15782 |        0 |        0
544.41/544.50	c  544s |      25 |  6589714 |  6014198 |      959  15827 |        0 |        0
546.41/546.51	c  546s |      25 |  6613077 |  6036098 |      959  15871 |        0 |        0
548.40/548.52	c  548s |      25 |  6636658 |  6057998 |      959  15916 |        0 |        0
550.40/550.52	c  550s |      25 |  6660168 |  6079498 |      959  15959 |        0 |        0
552.40/552.53	c  552s |      25 |  6683514 |  6101498 |      959  16004 |        0 |        0
554.42/554.54	c  554s |      25 |  6707264 |  6123598 |      959  16049 |        0 |        0
556.41/556.54	c  556s |      25 |  6731468 |  6145998 |      959  16094 |        0 |        0
558.41/558.54	c  558s |      25 |  6753823 |  6166298 |      959  16135 |        0 |        0
560.41/560.55	c  560s |      25 |  6776660 |  6186798 |      959  16177 |        0 |        0
562.41/562.55	c  562s |      25 |  6799460 |  6207298 |      959  16218 |        0 |        0
564.41/564.55	c  564s |      25 |  6822736 |  6228398 |      959  16261 |        0 |        0
566.41/566.56	c  566s |      25 |  6846974 |  6249098 |      959  16303 |        0 |        0
568.41/568.57	c  568s |      25 |  6870049 |  6270398 |      959  16346 |        0 |        0
570.40/570.57	c  570s |      25 |  6892819 |  6291698 |      959  16389 |        0 |        0
572.40/572.57	c  572s |      25 |  6915620 |  6312898 |      959  16432 |        0 |        0
574.40/574.58	c  574s |      25 |  6938636 |  6334398 |      959  16476 |        0 |        0
576.41/576.58	c  576s |      25 |  6962720 |  6356198 |      959  16520 |        0 |        0
578.40/578.59	c  578s |      25 |  6986102 |  6377298 |      959  16563 |        0 |        0
580.50/580.60	c  580s |      25 |  7010051 |  6399298 |      959  16608 |        0 |        0
582.50/582.61	c  582s |      25 |  7034559 |  6421198 |      959  16652 |        0 |        0
584.50/584.61	c  584s |      25 |  7057977 |  6442998 |      959  16696 |        0 |        0
586.50/586.61	c  586s |      25 |  7081608 |  6464898 |      959  16741 |        0 |        0
588.50/588.62	c  588s |      25 |  7105938 |  6487198 |      959  16786 |        0 |        0
590.50/590.62	c  590s |      25 |  7130453 |  6509898 |      959  16832 |        0 |        0
592.50/592.63	c  592s |      25 |  7153565 |  6531098 |      959  16875 |        0 |        0
594.50/594.64	c  594s |      25 |  7177051 |  6552298 |      959  16918 |        0 |        0
596.50/596.64	c  596s |      25 |  7200272 |  6573798 |      959  16961 |        0 |        0
598.50/598.64	c  598s |      25 |  7224481 |  6595898 |      959  17006 |        0 |        0
600.51/600.65	c  600s |      25 |  7248812 |  6618398 |      959  17052 |        0 |        0
602.50/602.65	c  602s |      25 |  7272736 |  6640798 |      959  17097 |        0 |        0
604.50/604.66	c  604s |      25 |  7297246 |  6663598 |      959  17143 |        0 |        0
606.50/606.66	c  606s |      25 |  7321915 |  6686398 |      959  17190 |        0 |        0
608.50/608.67	c  608s |      25 |  7345998 |  6708898 |      959  17235 |        0 |        0
610.50/610.67	c  610s |      25 |  7367612 |  6729098 |      959  17276 |        0 |        0
612.49/612.68	c  612s |      25 |  7390094 |  6749698 |      959  17318 |        0 |        0
614.49/614.68	c  614s |      25 |  7412460 |  6770698 |      959  17360 |        0 |        0
616.49/616.69	c  616s |      25 |  7434980 |  6791398 |      959  17402 |        0 |        0
618.59/618.70	c  618s |      25 |  7456967 |  6812098 |      959  17444 |        0 |        0
620.59/620.70	c  620s |      25 |  7479543 |  6833198 |      959  17487 |        0 |        0
622.60/622.70	c  622s |      25 |  7502228 |  6854398 |      959  17530 |        0 |        0
624.59/624.71	c  624s |      25 |  7525072 |  6875598 |      959  17573 |        0 |        0
626.59/626.71	c  626s |      25 |  7548986 |  6897098 |      959  17616 |        0 |        0
628.60/628.71	c  628s |      25 |  7572483 |  6918698 |      959  17660 |        0 |        0
630.60/630.72	c  630s |      25 |  7596100 |  6940598 |      959  17705 |        0 |        0
632.60/632.72	c  632s |      25 |  7620122 |  6962198 |      959  17748 |        0 |        0
634.60/634.72	c  634s |      25 |  7642796 |  6983298 |      959  17791 |        0 |        0
636.60/636.73	c  636s |      25 |  7665971 |  7005098 |      959  17836 |        0 |        0
638.59/638.73	c  638s |      25 |  7689898 |  7027498 |      959  17881 |        0 |        0
640.59/640.74	c  640s |      25 |  7713571 |  7049398 |      959  17926 |        0 |        0
642.59/642.75	c  642s |      25 |  7737211 |  7070898 |      959  17969 |        0 |        0
644.60/644.75	c  644s |      25 |  7760687 |  7092498 |      959  18013 |        0 |        0
646.59/646.75	c  646s |      25 |  7784491 |  7114598 |      959  18058 |        0 |        0
648.59/648.76	c  648s |      25 |  7808858 |  7136598 |      959  18103 |        0 |        0
650.59/650.76	c  650s |      25 |  7833078 |  7158598 |      959  18147 |        0 |        0
652.59/652.76	c  652s |      25 |  7857913 |  7181198 |      959  18193 |        0 |        0
654.59/654.77	c  654s |      25 |  7880926 |  7202298 |      959  18236 |        0 |        0
656.60/656.77	c  656s |      25 |  7904651 |  7223998 |      959  18280 |        0 |        0
658.59/658.77	c  658s |      25 |  7928482 |  7246198 |      959  18325 |        0 |        0
660.59/660.78	c  660s |      25 |  7952304 |  7268398 |      959  18370 |        0 |        0
662.59/662.78	c  662s |      25 |  7976955 |  7290898 |      959  18416 |        0 |        0
664.59/664.79	c  664s |      25 |  8001206 |  7313698 |      959  18462 |        0 |        0
666.59/666.79	c  666s |      25 |  8024890 |  7335398 |      959  18506 |        0 |        0
668.59/668.79	c  668s |      25 |  8050094 |  7357898 |      959  18552 |        0 |        0
670.69/670.80	c  670s |      25 |  8075551 |  7380998 |      959  18599 |        0 |        0
672.69/672.80	c  672s |      25 |  8099895 |  7403198 |      959  18644 |        0 |        0
674.69/674.81	c  674s |      25 |  8123931 |  7425098 |      959  18688 |        0 |        0
676.68/676.81	c  676s |      25 |  8148501 |  7447198 |      959  18733 |        0 |        0
678.69/678.82	c  678s |      25 |  8173829 |  7469698 |      959  18779 |        0 |        0
680.68/680.82	c  680s |      25 |  8198176 |  7491998 |      959  18824 |        0 |        0
682.68/682.83	c  682s |      25 |  8223451 |  7514798 |      959  18870 |        0 |        0
684.68/684.83	c  684s |      25 |  8248164 |  7537398 |      959  18916 |        0 |        0
686.68/686.83	c  686s |      25 |  8272544 |  7559498 |     1055  18958 |        0 |        0
688.68/688.83	c  688s |      25 |  8297154 |  7581798 |     1055  18999 |        0 |        0
690.08/690.27	c  690s |      26 |  8314230 |  7597752 |     1055  19029 |        0 |        0
692.09/692.28	c  692s |      26 |  8336874 |  7617852 |     1055  19066 |        0 |        0
694.09/694.28	c  694s |      26 |  8358815 |  7637752 |     1055  19102 |        0 |        0
696.09/696.29	c  696s |      26 |  8381325 |  7657452 |     1055  19139 |        0 |        0
698.09/698.29	c  698s |      26 |  8403627 |  7677652 |     1055  19176 |        0 |        0
700.09/700.29	c  700s |      26 |  8426626 |  7698252 |     1055  19214 |        0 |        0
702.19/702.30	c  702s |      26 |  8449044 |  7718552 |     1055  19252 |        0 |        0
704.19/704.30	c  704s |      26 |  8471422 |  7738752 |     1055  19289 |        0 |        0
706.19/706.30	c  706s |      26 |  8495046 |  7759852 |     1055  19328 |        0 |        0
708.19/708.31	c  708s |      26 |  8517705 |  7780352 |     1055  19366 |        0 |        0
710.18/710.31	c  710s |      26 |  8540314 |  7801352 |     1055  19405 |        0 |        0
712.18/712.32	c  712s |      26 |  8564270 |  7822452 |     1055  19444 |        0 |        0
714.18/714.33	c  714s |      26 |  8587588 |  7843552 |     1055  19483 |        0 |        0
716.18/716.34	c  716s |      26 |  8610054 |  7864052 |     1055  19521 |        0 |        0
718.19/718.34	c  718s |      26 |  8633828 |  7885252 |     1055  19560 |        0 |        0
720.18/720.35	c  720s |      26 |  8657112 |  7906752 |     1055  19600 |        0 |        0
722.18/722.35	c  722s |      26 |  8680721 |  7928452 |     1055  19640 |        0 |        0
724.18/724.36	c  724s |      26 |  8704761 |  7950052 |     1055  19680 |        0 |        0
726.17/726.36	c  726s |      26 |  8726573 |  7970252 |     1055  19717 |        0 |        0
728.18/728.37	c  728s |      26 |  8748567 |  7990552 |     1055  19754 |        0 |        0
730.17/730.37	c  730s |      26 |  8771647 |  8011252 |     1055  19792 |        0 |        0
732.18/732.38	c  732s |      26 |  8793660 |  8031852 |     1055  19830 |        0 |        0
734.17/734.39	c  734s |      26 |  8815867 |  8052352 |     1055  19868 |        0 |        0
736.17/736.39	c  736s |      26 |  8838441 |  8073352 |     1055  19907 |        0 |        0
738.17/738.39	c  738s |      26 |  8861083 |  8094352 |     1055  19946 |        0 |        0
740.17/740.40	c  740s |      26 |  8884233 |  8115452 |     1055  19985 |        0 |        0
742.27/742.40	c  742s |      26 |  8906443 |  8136252 |     1055  20023 |        0 |        0
744.26/744.40	c  744s |      26 |  8929760 |  8157652 |     1055  20063 |        0 |        0
746.26/746.41	c  746s |      26 |  8954072 |  8179452 |     1055  20103 |        0 |        0
748.26/748.41	c  748s |      26 |  8977556 |  8200352 |     1055  20142 |        0 |        0
750.26/750.42	c  750s |      26 |  9001416 |  8221352 |     1055  20181 |        0 |        0
752.26/752.42	c  752s |      26 |  9024705 |  8242852 |     1055  20220 |        0 |        0
754.27/754.43	c  754s |      26 |  9049058 |  8264352 |     1055  20260 |        0 |        0
756.27/756.43	c  756s |      26 |  9072860 |  8286352 |     1055  20301 |        0 |        0
758.26/758.44	c  758s |      26 |  9093977 |  8306252 |     1055  20338 |        0 |        0
760.26/760.44	c  760s |      26 |  9115878 |  8326552 |     1055  20375 |        0 |        0
762.27/762.45	c  762s |      26 |  9137451 |  8346952 |     1055  20413 |        0 |        0
764.26/764.45	c  764s |      26 |  9159502 |  8367452 |     1055  20450 |        0 |        0
766.26/766.46	c  766s |      26 |  9180919 |  8387552 |     1055  20487 |        0 |        0
768.26/768.46	c  768s |      26 |  9203428 |  8408352 |     1055  20526 |        0 |        0
770.25/770.46	c  770s |      26 |  9225356 |  8429052 |     1055  20564 |        0 |        0
772.25/772.47	c  772s |      26 |  9248006 |  8450052 |     1055  20603 |        0 |        0
774.26/774.47	c  774s |      26 |  9270975 |  8471252 |     1055  20642 |        0 |        0
776.25/776.48	c  776s |      26 |  9294291 |  8492852 |     1055  20682 |        0 |        0
778.25/778.48	c  778s |      26 |  9317242 |  8514052 |     1055  20721 |        0 |        0
780.25/780.49	c  780s |      26 |  9340483 |  8535552 |     1055  20761 |        0 |        0
782.25/782.49	c  782s |      26 |  9363638 |  8557652 |     1055  20802 |        0 |        0
784.34/784.50	c  784s |      26 |  9387404 |  8579352 |     1055  20842 |        0 |        0
786.35/786.51	c  786s |      26 |  9410210 |  8600252 |     1055  20881 |        0 |        0
788.34/788.52	c  788s |      26 |  9433751 |  8621252 |     1055  20920 |        0 |        0
790.34/790.53	c  790s |      26 |  9457183 |  8642652 |     1055  20959 |        0 |        0
792.34/792.53	c  792s |      26 |  9480437 |  8664652 |     1055  21000 |        0 |        0
794.34/794.53	c  794s |      26 |  9504226 |  8686252 |     1055  21040 |        0 |        0
796.35/796.55	c  796s |      26 |  9527176 |  8707052 |     1055  21078 |        0 |        0
798.34/798.55	c  798s |      26 |  9550475 |  8728352 |     1055  21118 |        0 |        0
800.34/800.55	c  800s |      26 |  9574557 |  8750552 |     1055  21159 |        0 |        0
802.34/802.56	c  802s |      26 |  9598524 |  8772852 |     1055  21200 |        0 |        0
804.33/804.56	c  804s |      26 |  9623300 |  8795452 |     1055  21242 |        0 |        0
806.33/806.56	c  806s |      26 |  9648606 |  8818352 |     1055  21284 |        0 |        0
808.34/808.57	c  808s |      26 |  9671308 |  8838952 |     1055  21322 |        0 |        0
810.33/810.57	c  810s |      26 |  9693248 |  8859252 |     1055  21359 |        0 |        0
812.34/812.58	c  812s |      26 |  9715312 |  8879752 |     1055  21397 |        0 |        0
814.34/814.58	c  814s |      26 |  9737049 |  8900152 |     1055  21435 |        0 |        0
816.33/816.59	c  816s |      26 |  9759666 |  8920952 |     1055  21473 |        0 |        0
818.34/818.59	c  818s |      26 |  9782482 |  8941552 |     1055  21511 |        0 |        0
820.33/820.60	c  820s |      26 |  9805413 |  8962252 |     1055  21549 |        0 |        0
822.43/822.60	c  822s |      26 |  9828764 |  8983352 |     1055  21588 |        0 |        0
824.43/824.61	c  824s |      26 |  9851729 |  9004252 |     1055  21627 |        0 |        0
826.43/826.62	c  826s |      26 |  9875216 |  9025252 |     1055  21666 |        0 |        0
828.43/828.63	c  828s |      26 |  9898431 |  9046252 |     1055  21704 |        0 |        0
830.43/830.63	c  830s |      26 |  9920964 |  9067452 |     1055  21744 |        0 |        0
832.43/832.63	c  832s |      26 |  9944423 |  9089452 |     1055  21784 |        0 |        0
834.42/834.64	c  834s |      26 |  9967877 |  9111452 |     1055  21825 |        0 |        0
836.42/836.65	c  836s |      26 |  9992004 |  9133352 |     1055  21865 |        0 |        0
838.42/838.65	c  838s |      26 | 10015516 |  9154852 |     1055  21905 |        0 |        0
840.42/840.65	c  840s |      26 | 10038965 |  9176852 |     1055  21946 |        0 |        0
842.42/842.65	c  842s |      26 | 10063041 |  9199052 |     1055  21987 |        0 |        0
844.41/844.66	c  844s |      26 | 10088315 |  9221952 |     1055  22030 |        0 |        0
846.41/846.66	c  846s |      26 | 10111576 |  9243252 |     1055  22069 |        0 |        0
848.41/848.67	c  848s |      26 | 10134608 |  9264652 |     1055  22109 |        0 |        0
850.41/850.67	c  850s |      26 | 10159215 |  9286752 |     1055  22149 |        0 |        0
852.41/852.68	c  852s |      26 | 10184309 |  9309052 |     1055  22191 |        0 |        0
854.41/854.69	c  854s |      26 | 10208374 |  9331052 |     1055  22232 |        0 |        0
856.41/856.69	c  856s |      26 | 10233513 |  9353652 |     1055  22274 |        0 |        0
858.41/858.69	c  858s |      26 | 10258456 |  9376252 |     1055  22316 |        0 |        0
860.41/860.69	c  860s |      26 | 10284277 |  9399552 |     1055  22359 |        0 |        0
862.51/862.70	c  862s |      26 | 10307895 |  9420952 |     1055  22398 |        0 |        0
864.41/864.70	c  864s |      26 | 10331595 |  9442352 |     1055  22438 |        0 |        0
866.51/866.71	c  866s |      26 | 10355680 |  9463452 |     1055  22477 |        0 |        0
868.51/868.71	c  868s |      26 | 10380209 |  9485552 |     1055  22518 |        0 |        0
870.50/870.71	c  870s |      26 | 10404874 |  9507852 |     1055  22559 |        0 |        0
872.50/872.71	c  872s |      26 | 10430134 |  9530452 |     1055  22601 |        0 |        0
874.50/874.72	c  874s |      26 | 10455856 |  9553352 |     1055  22644 |        0 |        0
876.51/876.72	c  876s |      26 | 10480015 |  9575652 |     1055  22685 |        0 |        0
878.50/878.73	c  878s |      26 | 10505385 |  9598652 |     1055  22728 |        0 |        0
880.50/880.74	c  880s |      26 | 10531958 |  9622052 |     1055  22771 |        0 |        0
882.50/882.74	c  882s |      26 | 10558910 |  9645952 |     1055  22816 |        0 |        0
884.50/884.75	c  884s |      26 | 10583420 |  9668152 |     1055  22857 |        0 |        0
886.51/886.75	c  886s |      26 | 10608684 |  9691152 |     1055  22899 |        0 |        0
888.50/888.76	c  888s |      26 | 10634436 |  9714452 |     1055  22943 |        0 |        0
890.50/890.77	c  890s |      26 | 10658551 |  9735952 |     1055  22982 |        0 |        0
892.50/892.78	c  892s |      26 | 10682257 |  9756352 |     1055  23020 |        0 |        0
894.50/894.79	c  894s |      26 | 10705249 |  9776952 |     1055  23058 |        0 |        0
896.59/896.80	c  896s |      26 | 10728261 |  9797852 |     1055  23096 |        0 |        0
898.50/898.80	c  898s |      26 | 10752244 |  9819052 |     1055  23135 |        0 |        0
900.59/900.81	c  900s |      26 | 10776325 |  9840252 |     1055  23174 |        0 |        0
902.59/902.81	c  902s |      26 | 10799646 |  9861652 |     1055  23214 |        0 |        0
904.59/904.82	c  904s |      26 | 10823093 |  9883152 |     1055  23253 |        0 |        0
906.59/906.82	c  906s |      26 | 10847160 |  9904952 |     1055  23294 |        0 |        0
908.58/908.83	c  908s |      26 | 10871704 |  9926552 |     1055  23333 |        0 |        0
910.59/910.84	c  910s |      26 | 10895833 |  9947752 |     1055  23373 |        0 |        0
912.59/912.84	c  912s |      26 | 10919722 |  9969652 |     1055  23413 |        0 |        0
914.59/914.85	c  914s |      26 | 10944637 |  9991952 |     1055  23454 |        0 |        0
916.59/916.85	c  916s |      26 | 10968813 | 10013652 |     1055  23495 |        0 |        0
918.59/918.85	c  918s |      26 | 10994070 | 10035952 |     1055  23536 |        0 |        0
920.59/920.86	c  920s |      26 | 11017256 | 10057352 |     1055  23575 |        0 |        0
922.58/922.87	c  922s |      26 | 11041228 | 10079452 |     1055  23616 |        0 |        0
924.58/924.87	c  924s |      26 | 11065129 | 10101552 |     1055  23657 |        0 |        0
926.57/926.88	c  926s |      26 | 11089175 | 10123852 |     1055  23698 |        0 |        0
928.57/928.88	c  928s |      26 | 11113407 | 10146152 |     1055  23739 |        0 |        0
930.57/930.89	c  930s |      26 | 11137408 | 10168052 |     1055  23780 |        0 |        0
932.57/932.89	c  932s |      26 | 11160889 | 10189852 |     1055  23820 |        0 |        0
934.57/934.89	c  934s |      26 | 11185538 | 10211952 |     1055  23861 |        0 |        0
936.57/936.90	c  936s |      26 | 11210875 | 10234552 |     1055  23903 |        0 |        0
938.67/938.90	c  938s |      26 | 11234217 | 10255452 |     1055  23942 |        0 |        0
940.67/940.90	c  940s |      26 | 11258507 | 10277452 |     1055  23983 |        0 |        0
942.67/942.90	c  942s |      26 | 11282763 | 10299652 |     1055  24024 |        0 |        0
944.68/944.90	c  944s |      26 | 11307335 | 10322452 |     1055  24066 |        0 |        0
946.67/946.91	c  946s |      26 | 11332297 | 10345452 |     1055  24108 |        0 |        0
948.67/948.91	c  948s |      26 | 11357652 | 10368852 |     1055  24151 |        0 |        0
950.66/950.92	c  950s |      26 | 11381075 | 10389552 |     1055  24189 |        0 |        0
952.66/952.93	c  952s |      26 | 11404627 | 10410952 |     1055  24229 |        0 |        0
954.67/954.93	c  954s |      26 | 11429187 | 10433252 |     1055  24270 |        0 |        0
956.66/956.93	c  956s |      26 | 11453381 | 10456252 |     1055  24312 |        0 |        0
958.66/958.94	c  958s |      26 | 11479010 | 10478952 |     1055  24354 |        0 |        0
960.66/960.95	c  960s |      26 | 11504807 | 10502252 |     1055  24397 |        0 |        0
962.66/962.95	c  962s |      26 | 11530393 | 10525352 |     1055  24440 |        0 |        0
964.66/964.95	c  964s |      26 | 11556473 | 10548952 |     1055  24484 |        0 |        0
966.66/966.95	c  966s |      26 | 11581269 | 10570852 |     1055  24524 |        0 |        0
968.65/968.95	c  968s |      26 | 11606800 | 10593252 |     1055  24565 |        0 |        0
970.65/970.95	c  970s |      26 | 11631843 | 10615752 |     1055  24606 |        0 |        0
972.65/972.95	c  972s |      26 | 11657216 | 10638752 |     1055  24649 |        0 |        0
974.65/974.96	c  974s |      26 | 11683396 | 10662152 |     1055  24692 |        0 |        0
976.66/976.96	c  976s |      26 | 11709630 | 10686052 |     1055  24736 |        0 |        0
978.65/978.96	c  978s |      26 | 11736284 | 10710052 |     1055  24780 |        0 |        0
980.65/980.97	c  980s |      26 | 11762248 | 10733152 |     1055  24822 |        0 |        0
982.65/982.98	c  982s |      26 | 11790343 | 10756952 |     1055  24866 |        0 |        0
984.65/984.98	c  984s |      26 | 11816775 | 10780852 |     1055  24910 |        0 |        0
986.65/986.98	c  986s |      26 | 11842760 | 10804152 |     1055  24953 |        0 |        0
988.65/988.98	c  988s |      26 | 11870263 | 10828452 |     1055  24998 |        0 |        0
990.65/990.99	c  990s |      26 | 11897736 | 10852752 |     1055  25042 |        0 |        0
992.65/992.99	c  992s |      26 | 11925666 | 10877552 |     1055  25088 |        0 |        0
994.65/995.00	c  994s |      26 | 11954914 | 10903152 |     1055  25135 |        0 |        0
996.75/997.00	c  996s |      26 | 11978751 | 10924652 |     1055  25173 |        5 |       16
998.75/999.00	c  998s |      26 | 12001939 | 10945552 |     1055  25211 |        5 |       16
1000.75/1001.01	c 1000s |      26 | 12025544 | 10966852 |     1055  25250 |        5 |       16
1002.74/1003.01	c 1002s |      26 | 12049619 | 10988152 |     1055  25290 |        5 |       16
1004.74/1005.02	c 1005s |      26 | 12074345 | 11009352 |     1055  25329 |        5 |       16
1006.74/1007.02	c 1007s |      26 | 12099021 | 11031052 |     1055  25369 |        5 |       16
1008.74/1009.03	c 1009s |      26 | 12124780 | 11052852 |     1055  25409 |        5 |       16
1010.74/1011.03	c 1011s |      26 | 12148772 | 11073352 |     1055  25446 |        5 |       16
1012.74/1013.04	c 1013s |      26 | 12173251 | 11094452 |     1055  25485 |        5 |       16
1014.73/1015.04	c 1015s |      26 | 12197391 | 11115852 |     1055  25525 |        5 |       16
1016.73/1017.04	c 1017s |      26 | 12222392 | 11137552 |     1055  25565 |        5 |       16
1018.73/1019.04	c 1019s |      26 | 12247084 | 11159352 |     1055  25605 |        5 |       16
1020.73/1021.05	c 1021s |      26 | 12272695 | 11181552 |     1055  25646 |        5 |       16
1022.73/1023.06	c 1023s |      26 | 12300116 | 11204552 |     1055  25688 |        5 |       16
1024.73/1025.06	c 1025s |      26 | 12323767 | 11226452 |     1055  25729 |        5 |       16
1026.73/1027.07	c 1027s |      26 | 12347664 | 11248752 |     1055  25770 |        5 |       16
1028.73/1029.07	c 1029s |      26 | 12372002 | 11271252 |     1055  25811 |        5 |       16
1030.73/1031.08	c 1031s |      26 | 12396600 | 11294052 |     1055  25853 |        5 |       16
1032.73/1033.08	c 1033s |      26 | 12421125 | 11316652 |     1161  25894 |        5 |       16
1034.73/1035.08	c 1035s |      26 | 12444789 | 11338252 |     1161  25931 |        5 |       16
1036.72/1037.09	c 1037s |      26 | 12469871 | 11360752 |     1161  25968 |        5 |       16
1038.82/1039.10	c 1039s |      26 | 12495851 | 11383852 |     1161  26007 |        5 |       16
1039.92/1040.23	c 1040s |      27 | 12510542 | 11396733 |     1161  26029 |        5 |       16
1041.92/1042.23	c 1042s |      27 | 12534629 | 11418533 |     1161  26066 |        5 |       16
1043.92/1044.23	c 1044s |      27 | 12558593 | 11440133 |     1161  26102 |        5 |       16
1045.92/1046.23	c 1046s |      27 | 12583742 | 11462333 |     1161  26139 |        5 |       16
1047.92/1048.24	c 1048s |      27 | 12608767 | 11485033 |     1161  26177 |        5 |       16
1049.92/1050.24	c 1050s |      27 | 12634534 | 11507933 |     1161  26216 |        5 |       16
1051.92/1052.25	c 1052s |      27 | 12660311 | 11530633 |     1161  26254 |        5 |       16
1053.92/1054.26	c 1054s |      27 | 12685567 | 11552533 |     1161  26291 |        5 |       16
1055.92/1056.27	c 1056s |      27 | 12711078 | 11575533 |     1161  26329 |        5 |       16
1057.92/1058.27	c 1058s |      27 | 12736635 | 11598233 |     1161  26368 |        5 |       16
1059.91/1060.28	c 1060s |      27 | 12763529 | 11621933 |     1161  26408 |        5 |       16
1061.91/1062.28	c 1062s |      27 | 12789610 | 11644733 |     1161  26446 |        5 |       16
1063.91/1064.29	c 1064s |      27 | 12815886 | 11668633 |     1161  26486 |        5 |       16
1065.91/1066.29	c 1066s |      27 | 12841557 | 11692033 |     1161  26525 |        5 |       16
1067.92/1068.29	c 1068s |      27 | 12866051 | 11714733 |     1161  26563 |        5 |       16
1069.91/1070.29	c 1070s |      27 | 12889971 | 11736633 |     1161  26600 |        5 |       16
1071.90/1072.29	c 1072s |      27 | 12914349 | 11759133 |     1161  26638 |        5 |       16
1074.00/1074.30	c 1074s |      27 | 12939629 | 11782033 |     1161  26676 |        5 |       16
1076.00/1076.30	c 1076s |      27 | 12965477 | 11805233 |     1161  26715 |        5 |       16
1078.00/1078.31	c 1078s |      27 | 12990990 | 11828833 |     1161  26755 |        5 |       16
1080.00/1080.31	c 1080s |      27 | 13016130 | 11852533 |     1161  26795 |        5 |       16
1082.01/1082.32	c 1082s |      27 | 13041810 | 11876233 |     1161  26835 |        5 |       16
1084.00/1084.32	c 1084s |      27 | 13068942 | 11900533 |     1161  26876 |        5 |       16
1086.00/1086.32	c 1086s |      27 | 13093922 | 11922733 |     1161  26913 |        5 |       16
1088.00/1088.32	c 1088s |      27 | 13118594 | 11945333 |     1161  26951 |        5 |       16
1090.00/1090.33	c 1090s |      27 | 13144052 | 11968333 |     1161  26989 |        5 |       16
1092.00/1092.33	c 1092s |      27 | 13170077 | 11991833 |     1161  27029 |        5 |       16
1094.00/1094.34	c 1094s |      27 | 13196236 | 12016133 |     1161  27069 |        5 |       16
1096.00/1096.34	c 1096s |      27 | 13223541 | 12040033 |     1161  27110 |        5 |       16
1098.00/1098.35	c 1098s |      27 | 13251159 | 12064733 |     1161  27151 |        5 |       16
1099.99/1100.36	c 1100s |      27 | 13277706 | 12088533 |     1161  27191 |        5 |       16
1102.00/1102.36	c 1102s |      27 | 13305043 | 12113333 |     1161  27233 |        5 |       16
1103.99/1104.37	c 1104s |      27 | 13332786 | 12138333 |     1161  27275 |        5 |       16
1105.99/1106.37	c 1106s |      27 | 13359780 | 12162633 |     1161  27315 |        5 |       16
1107.99/1108.38	c 1108s |      27 | 13387238 | 12187333 |     1161  27357 |        5 |       16
1109.99/1110.38	c 1110s |      27 | 13416316 | 12212733 |     1161  27399 |        5 |       16
1111.98/1112.38	c 1112s |      27 | 13442447 | 12236833 |     1161  27438 |       10 |       29
1113.99/1114.38	c 1114s |      27 | 13469266 | 12260733 |     1161  27478 |       10 |       29
1115.98/1116.39	c 1116s |      27 | 13495126 | 12285033 |     1161  27519 |       10 |       29
1117.98/1118.39	c 1118s |      27 | 13521886 | 12309633 |     1161  27560 |       10 |       29
1119.98/1120.39	c 1120s |      27 | 13548091 | 12334233 |     1161  27601 |       10 |       29
1121.98/1122.39	c 1122s |      27 | 13575149 | 12359033 |     1161  27643 |       10 |       29
1123.98/1124.39	c 1124s |      27 | 13602642 | 12383833 |     1161  27684 |       10 |       29
1125.98/1126.40	c 1126s |      27 | 13631006 | 12409733 |     1161  27726 |       13 |       33
1128.08/1128.40	c 1128s |      27 | 13656302 | 12433333 |     1161  27766 |       13 |       33
1130.07/1130.41	c 1130s |      27 | 13682723 | 12458033 |     1161  27807 |       14 |       37
1132.07/1132.41	c 1132s |      27 | 13709312 | 12483133 |     1161  27849 |       14 |       37
1134.07/1134.41	c 1134s |      27 | 13738151 | 12509133 |     1161  27893 |       14 |       37
1136.09/1136.42	c 1136s |      27 | 13768188 | 12536333 |     1161  27937 |       18 |       49
1137.19/1137.52	c 1137s |      27 | 13785299 | 12552219 |     1161  27959 |       84 |      143
1137.19/1137.52	c #cpu_time = 1137.310s
1137.19/1137.52	c #wall_clock_time = 1137.508s
1137.19/1137.52	c #decision = 13785299
1137.19/1137.52	c #random_decision = 61150
1137.19/1137.52	c #conflict = 12552219
1137.19/1137.52	c #restart = 27
1137.19/1137.52	s UNSATISFIABLE
1137.19/1137.52	c total CPU time = 1137.325s
1137.19/1137.52	c total wall clock time = 1137.523s

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.25 2.26 3/179 7577
/proc/meminfo: memFree=29457868/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=688708 CPUtime=0 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 2565 0 0 0 0 0 0 0 20 0 4 0 4720785 705236992 2926 33554432000 4194304 16246674 140733502801072 140733502800496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 172945 2936 442 2943 0 169839 0
[pid=7577/tid=7578] ppid=7574 vsize=706116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 723062784 2994 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=710212 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 727257088 3009 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=714308 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4720785 731451392 3025 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.22 2.25 2.26 3/179 7577
/proc/meminfo: memFree=29457868/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 28397 0 0 0 6 3 0 0 20 0 4 0 4720785 1247350784 28747 33554432000 4194304 16246674 140733502801072 140733502800496 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 304529 28762 713 2943 0 301423 0
[pid=7577/tid=7578] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 28769 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 28776 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 28787 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200476 s]
/proc/loadavg: 2.22 2.25 2.26 3/179 7577
/proc/meminfo: memFree=29457868/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 55972 0 0 0 12 7 0 0 20 0 4 0 4720785 1247350784 56322 33554432000 4194304 16246674 140733502801072 140733502800496 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 304529 56334 714 2943 0 301423 0
[pid=7577/tid=7578] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 56339 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 56350 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 56359 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300422 s]
/proc/loadavg: 2.22 2.25 2.26 3/179 7577
/proc/meminfo: memFree=29457868/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 83330 0 0 0 18 11 0 0 20 0 4 0 4720785 1247350784 83681 33554432000 4194304 16246674 140733502801072 140733502800496 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 304529 83691 714 2943 0 301423 0
[pid=7577/tid=7578] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 83701 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 83708 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 83718 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.22 2.25 2.26 3/179 7577
/proc/meminfo: memFree=29457868/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 195051 0 0 0 44 25 0 0 20 0 4 0 4720785 1247350784 195402 33554432000 4194304 16246674 140733502801072 140733502800496 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 304529 195414 714 2943 0 301423 0
[pid=7577/tid=7578] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 195425 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 195433 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4720785 1247350784 195439 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.22 2.25 2.26 3/183 7581
/proc/meminfo: memFree=28475328/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 265179 0 0 0 114 35 0 0 20 0 4 0 4720785 1337528320 265510 33554432000 4194304 16246674 140733502801072 140733502800384 5664948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326545 265518 790 2943 0 323439 0
[pid=7577/tid=7578] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 265527 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 265539 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 265547 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.10036 s]
/proc/loadavg: 2.20 2.25 2.25 3/183 7581
/proc/meminfo: memFree=28387156/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 267411 0 0 0 273 36 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 140733502784072 5722668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326545 267741 790 2943 0 323439 0
[pid=7577/tid=7578] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.20 2.25 2.25 4/183 7581
/proc/meminfo: memFree=28386944/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 267411 0 0 0 593 36 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 140733502784072 5723952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326545 267741 790 2943 0 323439 0
[pid=7577/tid=7578] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267741 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.25 2.25 2.26 3/183 7581
/proc/meminfo: memFree=28387288/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 267447 0 0 0 1233 36 0 0 20 0 4 0 4720785 1337528320 267777 33554432000 4194304 16246674 140733502801072 140733502784072 5722540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326545 267777 790 2943 0 323439 0
[pid=7577/tid=7578] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267777 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267777 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267777 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.21 2.24 2.25 3/183 7581
/proc/meminfo: memFree=28387472/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 267485 0 0 0 2512 36 0 0 20 0 4 0 4720785 1337528320 267815 33554432000 4194304 16246674 140733502801072 140733502784072 5661166 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326545 267815 791 2943 0 323439 0
[pid=7577/tid=7578] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267815 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267815 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267815 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.14 2.22 2.25 4/183 7581
/proc/meminfo: memFree=28382852/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 267519 0 0 0 5072 37 0 0 20 0 4 0 4720785 1337528320 267849 33554432000 4194304 16246674 140733502801072 140733502784072 5523675 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326545 267849 792 2943 0 323439 0
[pid=7577/tid=7578] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267849 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267849 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1337528320 267849 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.39 2.28 2.26 3/184 7586
/proc/meminfo: memFree=28383236/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 267589 0 0 0 10190 38 0 0 20 0 4 0 4720785 1338576896 267919 33554432000 4194304 16246674 140733502801072 140733502784072 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 326801 267919 792 2943 0 323695 0
[pid=7577/tid=7578] ppid=7574 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1338576896 267919 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1338576896 267919 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1338576896 267919 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268482 0 0 0 94147 60 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 140733502784072 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327313 268677 793 2943 0 324207 0
[pid=7577/tid=7578] ppid=7574 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 1309252

[startup+1002.3 s]
/proc/loadavg: 2.22 2.21 2.22 3/182 7618
/proc/meminfo: memFree=28373836/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1309252 CPUtime=1002.04 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268521 0 0 0 100143 61 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 140733502784072 12861128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327313 268677 793 2943 0 324207 0
[pid=7577/tid=7578] ppid=7574 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1340674048 268677 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1309252

[startup+1062.3 s]
/proc/loadavg: 2.31 2.23 2.22 3/183 7620
/proc/meminfo: memFree=28372868/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1062.01 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268814 0 0 0 106138 63 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502782976 6022280 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1310276

[startup+1122.3 s]
/proc/loadavg: 2.27 2.23 2.22 3/183 7621
/proc/meminfo: memFree=28371784/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1121.98 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268851 0 0 0 112134 64 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502782976 5827686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1310276

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7577 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1126.4 s]
/proc/loadavg: 2.27 2.23 2.22 4/183 7621
/proc/meminfo: memFree=28371912/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1126.08 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268851 0 0 0 112544 64 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 5675425 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1126.08
Current children cumulated vsize (KiB) 1310276

[startup+1132.8 s]
/proc/loadavg: 2.31 2.24 2.22 4/183 7621
/proc/meminfo: memFree=28371776/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1132.47 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268858 0 0 0 113183 64 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1132.47
Current children cumulated vsize (KiB) 1310276

[startup+1136 s]
/proc/loadavg: 2.31 2.24 2.22 3/183 7621
/proc/meminfo: memFree=28371776/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1135.68 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268858 0 0 0 113503 65 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1135.68
Current children cumulated vsize (KiB) 1310276

[startup+1136.8 s]
/proc/loadavg: 2.31 2.24 2.22 3/183 7621
/proc/meminfo: memFree=28371776/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1136.48 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268858 0 0 0 113583 65 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1136.48
Current children cumulated vsize (KiB) 1310276

[startup+1137.2 s]
/proc/loadavg: 2.31 2.24 2.22 3/183 7621
/proc/meminfo: memFree=28371776/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1136.88 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268858 0 0 0 113623 65 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 6021033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1136.88
Current children cumulated vsize (KiB) 1310276

[startup+1137.4 s]
/proc/loadavg: 2.28 2.23 2.22 3/183 7621
/proc/meminfo: memFree=28371776/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1137.09 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268858 0 0 0 113644 65 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1137.09
Current children cumulated vsize (KiB) 1310276

[startup+1137.51 s]
/proc/loadavg: 2.28 2.23 2.22 3/183 7621
/proc/meminfo: memFree=28371776/32872528 swapFree=1369816/1516984
[pid=7577] ppid=7574 vsize=1310276 CPUtime=1137.19 cores=0,2,4,6
/proc/7577/stat : 7577 (toysat) R 7574 7577 5822 0 -1 4202496 268858 0 0 0 113654 65 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 140733502784072 5707662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7577/statm: 327569 268933 793 2943 0 324463 0
[pid=7577/tid=7578] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7578/stat : 7578 (toysat) S 7574 7577 5822 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698041236720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7577/tid=7579] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7579/stat : 7579 (toysat) S 7574 7577 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698030746864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7577/tid=7580] ppid=7574 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7577/task/7580/stat : 7580 (toysat) S 7574 7577 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4720785 1341722624 268933 33554432000 4194304 16246674 140733502801072 139698020273328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1137.19
Current children cumulated vsize (KiB) 1310276

Child status: 0
Real time (s): 1137.55
CPU time (s): 1137.23
CPU user time (s): 1136.56
CPU system time (s): 0.669898
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1136.56
system time used= 0.669898
maximum resident set size= 1075744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268863
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= 278
involuntary context switches= 1161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.86856 second user time and 4.41133 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-15 23:39:03
IDJOB=4089407
IDBENCH=107402
IDSOLVER=2542
FILE ID=node129/4089407-1466026743
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid4x21-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089407-1466026743/watcher-4089407-1466026743 -o /tmp/evaluation-result-4089407-1466026743/solver-4089407-1466026743 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089407-1466026743.opb

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

MD5SUM BENCH= dde958ccc8a40404034f54f903b25bc9
RANDOM SEED=1583636305

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29458512 kB
Buffers:           22924 kB
Cached:            75960 kB
SwapCached:        20172 kB
Active:          1137556 kB
Inactive:          58380 kB
Active(anon):    1079212 kB
Inactive(anon):    20104 kB
Active(file):      58344 kB
Inactive(file):    38276 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081532 kB
Dirty:             16316 kB
Writeback:             8 kB
AnonPages:       2594956 kB
Mapped:            10256 kB
Shmem:                 0 kB
Slab:             567092 kB
SReclaimable:      11028 kB
SUnreclaim:       556064 kB
KernelStack:        1456 kB
PageTables:         9516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2741156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 23:58:01