Trace number 4119915

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.07 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw64/normalized-hw64-vm100p-opt.opb.negationfix.opb
MD5SUM7eda093f8adbdb58a7a700ae4694aeb0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

Solver Data 

0.00/0.00	c 2016-06-30T11:38:39+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-4119915-1467279519.opb"]
0.00/0.01	c use --random-gen="896230348 2064705803 3595216961 3051158923 2757364716 3541274240 3669860018 934699013 3043441140 466374520 1256282692 4290824870 1620094764 571712459 3852892004 4083259835 2342109200 3513967812 4197930076 4169282722 383085988 1207527431 557384531 4189557349 2738699988 377654565 3898095690 3720152461 2694567194 3921978174 2671703560 716598196 1226496720 1633942600 3410820934 550357871 3088249835 3873408653 2060129892 2253274711 2264483383 223018651 1905044356 1733181195 3412985539 3634296296 784685304 2007403343 719873039 3608328393 2530888325 3358093216 2022201170 378444206 1207269994 2529266774 3309547766 717762044 2655555669 2715389611 2608509316 350663733 1207853456 1893510064 2675937694 4134598951 2075638673 4275316544 2514776108 4022634728 3322712368 2295496091 3502393658 3796080183 913591824 2920157853 1953319532 1608799141 787165431 1190320689 2734114904 107456314 1131646966 3154017256 2592324651 126910429 323481259 4108093038 3491764158 4278063707 261212365 2251106306 2098095321 2676160165 3305054923 1635393470 200587964 3128273272 3192575545 4237433232 2112565704 245902932 2661004710 235494101 2222831375 2103731204 1438896723 2838202164 4216687993 3455356174 1173856311 4007228664 1718168207 2974910991 2104462873 3751388929 1851561863 1494824648 3198126111 3733116423 2094526815 2597971491 3458959028 757600822 2857194010 4271123274 4013033125 3245352812 3750636158 18053357 1139936413 3239206758 3530678671 4020836939 965610984 95887743 3659817494 313756491 1432412440 951327391 477107195 2817344101 1050369048 4113202444 361659267 3569561169 941850406 13514591 2821038133 2948813471 1024642214 4003319731 1666176133 839829159 3105591659 371639431 688909837 404726125 1601573354 259033467 3935421234 3402153082 1593167203 893327860 624057977 2228796264 1105819423 2793774550 438164458 352370016 3823331864 3643127160 3758631164 3168543582 991443147 368100152 147575767 3125442934 913216118 679643838 4285738572 631848302 2431992376 2002787743 3851969748 1811161361 1804923405 2230150182 286961403 2169059791 1485699368 1287916685 4184551159 787019617 360604107 2211355740 1216389615 1601616943 893746196 274232446 642588162 2666103755 2886512563 2554379591 1512683041 4049501240 982736105 2088015096 397225898 1446307684 3536274060 1721425319 3519604090 3316934248 2680258668 3343371193 1604192290 2901586686 692391504 3642334342 1415315487 122799361 2123887269 3872422184 3528091498 1646062423 3344686610 3837793463 1509425051 1973893609 3935644761 1824786401 4120865084 2040636839 3654153488 1246856147 320560541 1503613548 1551770152 2565496095 1359334591 2921983298 3069301168 2674919379 1869614311 2593443178 2820639905 1944361442 1879634001 1217105482 1674179158 1958584326 536826697 2524486794 1227460818 4155547720 255 362436" option to reproduce the execution
0.29/0.35	c #vars 45760
0.29/0.35	c #constraints 1558
0.99/1.09	c BCD2: Hardening is enabled.
0.99/1.09	c BCD2: BiasedSearch is enabled.
0.99/1.09	c Solving starts ...
0.99/1.09	c ============================[ Search Statistics ]============================
1.19/1.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.26	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.26	c =============================================================================
1.19/1.26	c  0.0s |       0 |        0 |        0 |    15772      0 |       64 |        0
1.39/1.47	c  0.3s |       1 |      730 |      100 |    15772      0 |       64 |        1
2.19/2.30	c  1.2s |       2 |     3670 |      250 |    17350      0 |       64 |        1
3.59/3.65	c  2.5s |       3 |     9274 |      475 |    19085      0 |       64 |        1
5.99/6.01	c  4.9s |       3 |    18052 |      775 |    20994      0 |       64 |        1
6.29/6.34	c  5.2s |       4 |    18095 |      813 |    20994      0 |       64 |        1
8.79/8.84	c  7.7s |       4 |    30141 |     1113 |    23094      0 |       64 |        1
10.28/10.34	c  9.2s |       5 |    30399 |     1320 |    23094      0 |       64 |        1
12.59/12.67	c 11.5s |       5 |    42113 |     1520 |    25404      0 |       64 |        1
14.99/15.03	c 13.9s |       5 |    42335 |     1720 |    25404      0 |       64 |        1
17.60/17.67	c 16.5s |       5 |    42545 |     1920 |    25404      0 |       64 |        1
19.49/19.57	c 18.4s |       6 |    42718 |     2081 |    27945      0 |       64 |        1
22.19/22.22	c 21.1s |       6 |    54367 |     2381 |    27945      0 |       64 |        1
24.59/24.61	c 23.5s |       6 |    54713 |     2681 |    27945      0 |       64 |        1
26.89/26.90	c 25.8s |       6 |    55084 |     2981 |    27945      0 |       64 |        1
28.99/29.06	c 27.9s |       7 |    55364 |     3223 |    30740      0 |       64 |        1
31.59/31.67	c 30.5s |       7 |    62996 |     3623 |    30740      0 |       64 |        1
33.79/33.85	c 32.7s |       7 |    63460 |     4023 |    30740      0 |       64 |        1
35.89/35.99	c 34.9s |       7 |    63924 |     4423 |    30740      0 |       64 |        1
38.19/38.21	c 37.1s |       7 |    64349 |     4823 |    30740      0 |       64 |        1
38.99/39.05	c 37.9s |       8 |    64474 |     4936 |    33814      0 |       64 |        1
41.38/41.49	c 40.4s |       8 |    72327 |     5336 |    33814      0 |       64 |        1
43.69/43.73	c 42.6s |       8 |    72838 |     5636 |    33814      0 |       64 |        1
46.38/46.41	c 45.3s |       8 |    73198 |     5936 |    33814      0 |       64 |        1
49.38/49.49	c 48.4s |       8 |    73899 |     6236 |    33814      0 |       64 |        1
51.89/51.96	c 50.8s |       8 |    74566 |     6536 |    33814      0 |       64 |        1
54.18/54.26	c 53.1s |       8 |    75391 |     6836 |    33814      0 |       64 |        1
56.98/57.02	c 55.9s |       8 |    75780 |     7136 |    33814      0 |       64 |        1
59.08/59.11	c 58.0s |       8 |    76164 |     7336 |    33814      0 |       64 |        1
61.08/61.11	c 60.0s |       9 |    76538 |     7506 |    37196      0 |       64 |        1
63.48/63.52	c 62.4s |       9 |    81960 |     8106 |    37196      0 |       64 |        1
65.78/65.82	c 64.7s |       9 |    82270 |     8406 |    37196      0 |       64 |        1
68.48/68.56	c 67.4s |       9 |    82820 |     8806 |    37196      0 |       64 |        1
70.88/70.97	c 69.8s |       9 |    83233 |     9106 |    37196      0 |       64 |        1
73.08/73.15	c 72.0s |       9 |    83731 |     9406 |    37196      0 |       64 |        1
75.48/75.53	c 74.4s |       9 |    84071 |     9706 |    37196      0 |       64 |        1
77.68/77.73	c 76.6s |       9 |    84501 |    10006 |    37196      0 |       64 |        1
79.98/80.09	c 79.0s |       9 |    84860 |    10306 |    37196      0 |       64 |        1
82.28/82.33	c 81.2s |       9 |    85242 |    10606 |    37196      0 |       64 |        1
84.48/84.59	c 83.5s |       9 |    85638 |    10906 |    37196      0 |       64 |        1
87.08/87.15	c 86.0s |       9 |    85989 |    11206 |    37196      0 |       64 |        1
88.28/88.39	c 87.3s |      10 |    86255 |    11361 |    40916      0 |       64 |        1
90.78/90.83	c 89.7s |      10 |    90695 |    11661 |    40916      0 |       64 |        1
92.97/93.09	c 92.0s |      10 |    91072 |    11961 |    40916      0 |       64 |        1
95.37/95.40	c 94.3s |      10 |    91399 |    12261 |    40916      0 |       64 |        1
97.88/97.94	c 96.8s |      10 |    91733 |    12561 |    40916      0 |       64 |        1
100.18/100.26	c 99.1s |      10 |    92094 |    12861 |    40916      0 |       64 |        1
102.67/102.72	c  101s |      10 |    92395 |    13161 |    40916      0 |       64 |        1
105.37/105.47	c  104s |      10 |    92795 |    13461 |    40916      0 |       64 |        1
108.37/108.46	c  107s |      10 |    93126 |    13761 |    40916      0 |       64 |        1
110.97/111.05	c  109s |      10 |    93460 |    14061 |    40916      0 |       64 |        1
113.47/113.53	c  112s |      10 |    93823 |    14361 |    40916      0 |       64 |        1
116.17/116.23	c  115s |      10 |    94141 |    14661 |    40916      0 |       64 |        1
118.97/119.09	c  117s |      10 |    94489 |    14961 |    40916      0 |       64 |        1
121.87/121.94	c  120s |      10 |    94862 |    15261 |    40916      0 |       64 |        1
124.67/124.75	c  123s |      10 |    95226 |    15561 |    40916      0 |       64 |        1
127.57/127.63	c  126s |      10 |    95632 |    15861 |    40916      0 |       64 |        1
129.57/129.65	c  128s |      10 |    95892 |    16061 |    40916      0 |       64 |        1
131.67/131.71	c  130s |      10 |    96121 |    16261 |    40916      0 |       64 |        1
133.67/133.79	c  132s |      10 |    96355 |    16461 |    40916      0 |       64 |        1
135.87/135.98	c  134s |      10 |    96580 |    16661 |    40916      0 |       64 |        1
138.87/138.95	c  137s |      10 |    96933 |    16961 |    40916      0 |       64 |        1
140.78/140.85	c  139s |      11 |    97170 |    17144 |    45008      0 |       64 |        1
142.98/143.03	c  141s |      11 |   102514 |    17344 |    45008      0 |       64 |        1
145.18/145.26	c  144s |      11 |   102858 |    17644 |    45008      0 |       64 |        1
147.77/147.81	c  146s |      11 |   103166 |    17944 |    45008      0 |       64 |        1
150.57/150.67	c  149s |      11 |   103600 |    18244 |    45008      0 |       64 |        1
153.47/153.52	c  152s |      11 |   103975 |    18544 |    45008      0 |       64 |        1
156.06/156.17	c  155s |      11 |   104421 |    18844 |    45008      0 |       64 |        1
158.66/158.76	c  157s |      11 |   104798 |    19144 |    45008      0 |       64 |        1
160.76/160.86	c  159s |      11 |   105076 |    19344 |    45008      0 |       64 |        1
162.87/162.98	c  161s |      11 |   105289 |    19544 |    45008      0 |       64 |        1
164.97/165.08	c  163s |      11 |   105495 |    19744 |    45008      0 |       64 |        1
167.17/167.29	c  166s |      11 |   105696 |    19944 |    45008      0 |       64 |        1
169.47/169.55	c  168s |      11 |   105903 |    20144 |    45008      0 |       64 |        1
171.67/171.76	c  170s |      11 |   106109 |    20344 |    45008      0 |       64 |        1
174.07/174.18	c  173s |      11 |   106327 |    20544 |    45008      0 |       64 |        1
176.47/176.52	c  175s |      11 |   106537 |    20744 |    45008      0 |       64 |        1
178.67/178.70	c  177s |      11 |   106782 |    20944 |    45008      0 |       64 |        1
180.76/180.88	c  179s |      11 |   107017 |    21144 |    45008      0 |       64 |        1
182.96/183.03	c  181s |      11 |   107222 |    21344 |    45008      0 |       64 |        1
185.87/185.95	c  184s |      11 |   107615 |    21644 |    45008      0 |       64 |        1
188.36/188.47	c  187s |      11 |   107959 |    21944 |    45008      0 |       64 |        1
191.26/191.32	c  190s |      11 |   108286 |    22244 |    45008      0 |       64 |        1
193.26/193.38	c  192s |      11 |   108500 |    22444 |    45008      0 |       64 |        1
196.36/196.41	c  195s |      11 |   108828 |    22744 |    45008      0 |       64 |        1
198.36/198.47	c  197s |      11 |   109051 |    22944 |    45008      0 |       64 |        1
200.66/200.71	c  199s |      11 |   109264 |    23144 |    45008      0 |       64 |        1
203.66/203.75	c  202s |      11 |   109580 |    23444 |    45008      0 |       64 |        1
205.86/205.94	c  204s |      11 |   109793 |    23644 |    45008      0 |       64 |        1
208.15/208.20	c  207s |      11 |   109998 |    23844 |    45008      0 |       64 |        1
210.36/210.41	c  209s |      11 |   110207 |    24044 |    45008      0 |       64 |        1
212.65/212.70	c  211s |      11 |   110418 |    24244 |    45008      0 |       64 |        1
214.95/215.06	c  213s |      11 |   110633 |    24444 |    45008      0 |       64 |        1
217.45/217.55	c  216s |      11 |   110829 |    24644 |    45008      0 |       64 |        1
219.75/219.84	c  218s |      11 |   111031 |    24844 |    45008      0 |       64 |        1
222.05/222.14	c  221s |      11 |   111233 |    25044 |    45008      0 |       64 |        1
224.37/224.46	c  223s |      11 |   111444 |    25244 |    45008      0 |       64 |        1
226.76/226.86	c  225s |      11 |   111660 |    25444 |    45008      0 |       64 |        1
229.16/229.22	c  228s |      11 |   111864 |    25644 |    45008      0 |       64 |        1
231.16/231.28	c  230s |      12 |   112047 |    25819 |    49509      0 |       64 |        1
233.95/234.03	c  232s |      12 |   118215 |    26019 |    49509      0 |       64 |        1
236.75/236.80	c  235s |      12 |   118544 |    26319 |    49509      0 |       64 |        1
239.45/239.50	c  238s |      12 |   118872 |    26619 |    49509      0 |       64 |        1
242.35/242.42	c  241s |      12 |   119212 |    26919 |    49509      0 |       64 |        1
244.45/244.50	c  243s |      12 |   119431 |    27119 |    49509      0 |       64 |        1
246.65/246.77	c  245s |      12 |   119642 |    27319 |    49509      0 |       64 |        1
249.05/249.16	c  248s |      12 |   119864 |    27519 |    49509      0 |       64 |        1
251.25/251.36	c  250s |      12 |   120099 |    27719 |    49509      0 |       64 |        1
253.55/253.61	c  252s |      12 |   120326 |    27919 |    49509      0 |       64 |        1
255.85/255.99	c  254s |      12 |   120553 |    28119 |    49509      0 |       64 |        1
258.75/258.84	c  257s |      12 |   120894 |    28419 |    49509      0 |       64 |        1
260.85/260.93	c  259s |      12 |   121135 |    28619 |    49509      0 |       64 |        1
263.15/263.22	c  262s |      12 |   121353 |    28819 |    49509      0 |       64 |        1
265.65/265.70	c  264s |      12 |   121574 |    29019 |    49509      0 |       64 |        1
267.95/268.07	c  266s |      12 |   121794 |    29219 |    49509      0 |       64 |        1
270.35/270.49	c  269s |      12 |   122006 |    29419 |    49509      0 |       64 |        1
272.45/272.57	c  271s |      12 |   122230 |    29619 |    49509      0 |       64 |        1
275.35/275.49	c  274s |      12 |   122558 |    29919 |    49509      0 |       64 |        1
278.44/278.52	c  277s |      12 |   122894 |    30219 |    49509      0 |       64 |        1
280.55/280.62	c  279s |      12 |   123113 |    30419 |    49509      0 |       64 |        1
282.84/282.93	c  281s |      12 |   123322 |    30619 |    49509      0 |       64 |        1
285.04/285.15	c  284s |      12 |   123531 |    30819 |    49509      0 |       64 |        1
287.24/287.33	c  286s |      12 |   123765 |    31019 |    49509      0 |       64 |        1
289.54/289.67	c  288s |      12 |   123968 |    31219 |    49509      0 |       64 |        1
291.84/291.93	c  290s |      12 |   124210 |    31419 |    49509      0 |       64 |        1
294.15/294.24	c  293s |      12 |   124433 |    31619 |    49509      0 |       64 |        1
296.55/296.60	c  295s |      12 |   124646 |    31819 |    49509      0 |       64 |        1
298.95/299.07	c  297s |      12 |   124872 |    32019 |    49509      0 |       64 |        1
301.25/301.35	c  300s |      12 |   125085 |    32219 |    49509      0 |       64 |        1
303.74/303.84	c  302s |      12 |   125309 |    32419 |    49509      0 |       64 |        1
306.14/306.28	c  305s |      12 |   125516 |    32619 |    49509      0 |       64 |        1
308.54/308.68	c  307s |      12 |   125734 |    32819 |    49509      0 |       64 |        1
311.04/311.17	c  310s |      12 |   125944 |    33019 |    49509      0 |       64 |        1
313.45/313.59	c  312s |      12 |   126176 |    33219 |    49509      0 |       64 |        1
315.94/316.05	c  314s |      12 |   126397 |    33419 |    49509      0 |       64 |        1
318.34/318.44	c  317s |      12 |   126625 |    33619 |    49509      0 |       64 |        1
320.94/321.04	c  319s |      12 |   126829 |    33819 |    49509      0 |       64 |        1
323.45/323.58	c  322s |      12 |   127039 |    34019 |    49509      0 |       64 |        1
325.94/326.09	c  324s |      12 |   127253 |    34219 |    49509      0 |       64 |        1
328.44/328.50	c  327s |      12 |   127466 |    34419 |    49509      0 |       64 |        1
331.05/331.15	c  330s |      12 |   127691 |    34619 |    49509      0 |       64 |        1
333.64/333.78	c  332s |      12 |   127908 |    34819 |    49509      0 |       64 |        1
336.34/336.45	c  335s |      12 |   128142 |    35019 |    49509      0 |       64 |        1
338.84/338.98	c  337s |      12 |   128353 |    35219 |    49509      0 |       64 |        1
341.44/341.58	c  340s |      12 |   128564 |    35419 |    49509      0 |       64 |        1
344.24/344.32	c  343s |      12 |   128777 |    35619 |    49509      0 |       64 |        1
346.83/346.93	c  345s |      12 |   128986 |    35819 |    49509      0 |       64 |        1
349.34/349.40	c  348s |      12 |   129202 |    36019 |    49509      0 |       64 |        1
351.74/351.88	c  350s |      12 |   129404 |    36219 |    49509      0 |       64 |        1
354.43/354.55	c  353s |      12 |   129621 |    36419 |    49509      0 |       64 |        1
357.03/357.11	c  355s |      12 |   129848 |    36619 |    49509      0 |       64 |        1
359.53/359.68	c  358s |      12 |   130055 |    36819 |    49509      0 |       64 |        1
362.33/362.40	c  361s |      12 |   130275 |    37019 |    49509      0 |       64 |        1
365.03/365.10	c  363s |      12 |   130515 |    37219 |    49509      0 |       64 |        1
367.63/367.79	c  366s |      12 |   130722 |    37419 |    49509      0 |       64 |        1
370.33/370.47	c  369s |      12 |   130941 |    37619 |    49509      0 |       64 |        1
372.94/373.06	c  371s |      12 |   131166 |    37819 |    49509      0 |       64 |        1
375.63/375.73	c  374s |      12 |   131384 |    38019 |    49509      0 |       64 |        1
378.34/378.41	c  377s |      12 |   131598 |    38219 |    49509      0 |       64 |        1
380.93/381.06	c  379s |      12 |   131832 |    38419 |    49509      0 |       64 |        1
383.83/383.91	c  382s |      12 |   132039 |    38619 |    54460      0 |       64 |        1
386.53/386.67	c  385s |      12 |   132245 |    38819 |    54460      0 |       64 |        1
386.73/386.89	c  385s |      13 |   132257 |    38832 |    54460      0 |       64 |        1
389.23/389.30	c  388s |      13 |   138322 |    38932 |    54460      0 |       64 |        1
391.63/391.71	c  390s |      13 |   138637 |    39232 |    54460      0 |       64 |        1
393.83/393.94	c  392s |      13 |   138968 |    39532 |    54460      0 |       64 |        1
396.42/396.50	c  395s |      13 |   139285 |    39832 |    54460      0 |       64 |        1
398.82/399.00	c  397s |      13 |   139595 |    40132 |    54460      0 |       64 |        1
401.43/401.56	c  400s |      13 |   139922 |    40432 |    54460      0 |       64 |        1
403.63/403.75	c  402s |      13 |   140236 |    40732 |    54460      0 |       64 |        1
405.93/406.06	c  404s |      13 |   140573 |    41032 |    54460      0 |       64 |        1
408.32/408.46	c  407s |      13 |   140891 |    41332 |    54460      0 |       64 |        1
410.42/410.59	c  409s |      13 |   141218 |    41632 |    54460      0 |       64 |        1
412.82/412.92	c  411s |      13 |   141540 |    41932 |    54460      0 |       64 |        1
415.12/415.29	c  414s |      13 |   141881 |    42232 |    54460      0 |       64 |        1
417.42/417.55	c  416s |      13 |   142196 |    42532 |    54460      0 |       64 |        1
419.63/419.77	c  418s |      13 |   142526 |    42832 |    54460      0 |       64 |        1
421.83/421.91	c  420s |      13 |   142884 |    43132 |    54460      0 |       64 |        1
424.03/424.13	c  423s |      13 |   143215 |    43432 |    54460      0 |       64 |        1
426.53/426.62	c  425s |      13 |   143555 |    43732 |    54460      0 |       64 |        1
428.73/428.88	c  427s |      13 |   143897 |    44032 |    54460      0 |       64 |        1
431.03/431.12	c  429s |      13 |   144222 |    44332 |    54460      0 |       64 |        1
433.23/433.34	c  432s |      13 |   144556 |    44632 |    54460      0 |       64 |        1
435.63/435.75	c  434s |      13 |   144891 |    44932 |    54460      0 |       64 |        1
438.23/438.34	c  437s |      13 |   145207 |    45232 |    54460      0 |       64 |        1
440.82/440.91	c  439s |      13 |   145551 |    45532 |    54460      0 |       64 |        1
443.23/443.36	c  442s |      13 |   145867 |    45832 |    54460      0 |       64 |        1
445.82/445.94	c  444s |      13 |   146186 |    46132 |    54460      0 |       64 |        1
448.73/448.86	c  447s |      13 |   146519 |    46432 |    54460      0 |       64 |        1
451.12/451.23	c  450s |      13 |   146893 |    46732 |    54460      0 |       64 |        1
453.82/453.92	c  452s |      13 |   147244 |    47032 |    54460      0 |       64 |        1
456.62/456.78	c  455s |      13 |   147590 |    47332 |    54460      0 |       64 |        1
459.42/459.55	c  458s |      13 |   147953 |    47632 |    54460      0 |       64 |        1
462.22/462.39	c  461s |      13 |   148317 |    47932 |    54460      0 |       64 |        1
465.02/465.17	c  464s |      13 |   148722 |    48232 |    54460      0 |       64 |        1
467.53/467.61	c  466s |      13 |   149073 |    48532 |    54460      0 |       64 |        1
469.92/470.01	c  468s |      13 |   149481 |    48832 |    54460      0 |       64 |        1
472.32/472.46	c  471s |      13 |   149881 |    49132 |    54460      0 |       64 |        1
475.02/475.16	c  474s |      13 |   150235 |    49432 |    54460      0 |       64 |        1
477.42/477.54	c  476s |      13 |   150670 |    49732 |    54460      0 |       64 |        1
480.02/480.19	c  479s |      13 |   151047 |    50032 |    54460      0 |       64 |        1
482.31/482.49	c  481s |      13 |   151257 |    50232 |    54460      0 |       64 |        1
485.21/485.31	c  484s |      13 |   151611 |    50532 |    54460      0 |       64 |        1
487.71/487.80	c  486s |      13 |   151996 |    50832 |    54460      0 |       64 |        1
490.21/490.37	c  489s |      13 |   152313 |    51132 |    54460      0 |       64 |        1
492.72/492.81	c  491s |      13 |   152632 |    51432 |    54460      0 |       64 |        1
495.11/495.21	c  494s |      13 |   152943 |    51732 |    54460      0 |       64 |        1
497.61/497.79	c  496s |      13 |   153272 |    52032 |    54460      0 |       64 |        1
500.21/500.30	c  499s |      13 |   153622 |    52332 |    54460      0 |       64 |        1
502.21/502.36	c  501s |      13 |   153830 |    52532 |    54460      0 |       64 |        1
505.01/505.12	c  503s |      13 |   154188 |    52832 |    54460      0 |       64 |        1
507.91/508.07	c  506s |      13 |   154522 |    53132 |    54460      0 |       64 |        1
510.11/510.28	c  509s |      13 |   154765 |    53332 |    54460      0 |       64 |        1
512.91/513.02	c  511s |      13 |   155093 |    53632 |    54460      0 |       64 |        1
515.71/515.89	c  514s |      13 |   155417 |    53932 |    54460      0 |       64 |        1
518.11/518.25	c  517s |      13 |   155743 |    54232 |    54460      0 |       64 |        1
520.80/520.99	c  519s |      13 |   156097 |    54532 |    54460      0 |       64 |        1
523.41/523.59	c  522s |      13 |   156447 |    54832 |    54460      0 |       64 |        1
526.00/526.13	c  525s |      13 |   156803 |    55132 |    54460      0 |       64 |        1
528.11/528.28	c  527s |      13 |   157027 |    55332 |    54460      0 |       64 |        1
530.31/530.47	c  529s |      13 |   157247 |    55532 |    54460      0 |       64 |        1
533.01/533.14	c  532s |      13 |   157576 |    55832 |    54460      0 |       64 |        1
535.51/535.67	c  534s |      13 |   157916 |    56132 |    54460      0 |       64 |        1
538.41/538.51	c  537s |      13 |   158237 |    56432 |    54460      0 |       64 |        1
541.61/541.73	c  540s |      13 |   158564 |    56732 |    54460      0 |       64 |        1
543.81/543.92	c  542s |      13 |   158779 |    56932 |    54460      0 |       64 |        1
545.81/545.92	c  544s |      13 |   159001 |    57132 |    54460      0 |       64 |        1
548.51/548.60	c  547s |      13 |   159338 |    57432 |    54460      0 |       64 |        1
550.61/550.74	c  549s |      13 |   159547 |    57632 |    54460      0 |       64 |        1
552.71/552.84	c  551s |      13 |   159763 |    57832 |    54460      0 |       64 |        1
555.52/555.60	c  554s |      13 |   160004 |    58032 |    59907      0 |       64 |        1
558.61/558.73	c  557s |      13 |   160231 |    58232 |    59907      0 |       64 |        1
560.31/560.49	c  559s |      14 |   160366 |    58352 |    59907      0 |       64 |        1
564.01/564.15	c  563s |      14 |   169092 |    58452 |    59907      0 |       64 |        1
567.41/567.60	c  566s |      14 |   169331 |    58652 |    59907      0 |       64 |        1
570.21/570.31	c  569s |      14 |   169443 |    58752 |    59907      0 |       64 |        1
572.70/572.81	c  571s |      14 |   169552 |    58852 |    59907      0 |       64 |        1
575.00/575.13	c  574s |      14 |   169664 |    58952 |    59907      0 |       64 |        1
577.70/577.82	c  576s |      14 |   169779 |    59052 |    59907      0 |       64 |        1
580.90/581.02	c  579s |      14 |   169885 |    59152 |    59907      0 |       64 |        1
583.70/583.88	c  582s |      14 |   169991 |    59252 |    59907      0 |       64 |        1
587.40/587.52	c  586s |      14 |   170099 |    59352 |    59907      0 |       64 |        1
590.90/591.09	c  589s |      14 |   170223 |    59452 |    59907      0 |       64 |        1
594.60/594.71	c  593s |      14 |   170448 |    59652 |    59907      0 |       64 |        1
598.20/598.34	c  597s |      14 |   170573 |    59752 |    59907      0 |       64 |        1
603.10/603.28	c  602s |      14 |   170673 |    59852 |    59907      0 |       64 |        1
607.80/607.94	c  606s |      14 |   170777 |    59952 |    59907      0 |       64 |        1
612.20/612.35	c  611s |      14 |   170890 |    60052 |    59907      0 |       64 |        1
616.89/617.03	c  615s |      14 |   171007 |    60152 |    59907      0 |       64 |        1
619.49/619.60	c  618s |      14 |   171141 |    60252 |    59907      0 |       64 |        1
621.89/622.06	c  620s |      14 |   171265 |    60352 |    59907      0 |       64 |        1
625.29/625.46	c  624s |      14 |   171561 |    60552 |    59907      0 |       64 |        1
628.10/628.26	c  627s |      14 |   171716 |    60652 |    59907      0 |       64 |        1
630.79/630.99	c  629s |      14 |   171829 |    60752 |    59907      0 |       64 |        1
634.29/634.47	c  633s |      14 |   171927 |    60852 |    59907      0 |       64 |        1
638.00/638.17	c  637s |      14 |   172054 |    60952 |    59907      0 |       64 |        1
641.59/641.79	c  640s |      14 |   172208 |    61052 |    59907      0 |       64 |        1
644.20/644.37	c  643s |      14 |   172314 |    61152 |    59907      0 |       64 |        1
646.89/647.00	c  645s |      14 |   172435 |    61252 |    59907      0 |       64 |        1
649.39/649.55	c  648s |      14 |   172544 |    61352 |    59907      0 |       64 |        1
651.99/652.19	c  651s |      14 |   172657 |    61452 |    59907      0 |       64 |        1
654.79/654.94	c  653s |      14 |   172759 |    61552 |    59907      0 |       64 |        1
657.09/657.21	c  656s |      14 |   172915 |    61652 |    59907      0 |       64 |        1
659.09/659.26	c  658s |      14 |   173079 |    61752 |    59907      0 |       64 |        1
661.19/661.36	c  660s |      14 |   173209 |    61852 |    59907      0 |       64 |        1
663.69/663.81	c  662s |      14 |   173359 |    61952 |    59907      0 |       64 |        1
666.49/666.66	c  665s |      14 |   173505 |    62052 |    59907      0 |       64 |        1
669.79/669.92	c  668s |      14 |   173630 |    62152 |    59907      0 |       64 |        1
673.48/673.69	c  672s |      14 |   173747 |    62252 |    59907      0 |       64 |        1
676.88/677.04	c  675s |      14 |   173859 |    62352 |    59907      0 |       64 |        1
680.08/680.21	c  679s |      14 |   174024 |    62452 |    59907      0 |       64 |        1
683.98/684.14	c  683s |      14 |   174141 |    62552 |    59907      0 |       64 |        1
686.68/686.85	c  685s |      14 |   174281 |    62652 |    59907      0 |       64 |        1
688.88/689.00	c  687s |      14 |   174411 |    62752 |    59907      0 |       64 |        1
691.19/691.30	c  690s |      14 |   174544 |    62852 |    59907      0 |       64 |        1
694.09/694.26	c  693s |      14 |   174663 |    62952 |    59907      0 |       64 |        1
696.19/696.34	c  695s |      14 |   174782 |    63052 |    59907      0 |       64 |        1
700.78/700.91	c  699s |      14 |   175007 |    63252 |    59907      0 |       64 |        1
703.18/703.32	c  702s |      14 |   175241 |    63452 |    59907      0 |       64 |        1
705.18/705.39	c  704s |      14 |   175457 |    63652 |    59907      0 |       64 |        1
707.29/707.45	c  706s |      14 |   175676 |    63852 |    59907      0 |       64 |        1
710.08/710.27	c  709s |      14 |   176055 |    64152 |    59907      0 |       64 |        1
712.28/712.44	c  711s |      14 |   176282 |    64352 |    59907      0 |       64 |        1
714.99/715.17	c  714s |      14 |   176522 |    64552 |    59907      0 |       64 |        1
718.88/719.05	c  717s |      14 |   176739 |    64752 |    59907      0 |       64 |        1
721.77/721.97	c  720s |      14 |   177004 |    64952 |    59907      0 |       64 |        1
724.78/724.92	c  723s |      14 |   177236 |    65152 |    59907      0 |       64 |        1
727.67/727.83	c  726s |      14 |   177506 |    65352 |    59907      0 |       64 |        1
730.47/730.69	c  729s |      14 |   177725 |    65552 |    59907      0 |       64 |        1
733.38/733.57	c  732s |      14 |   177959 |    65752 |    59907      0 |       64 |        1
736.18/736.34	c  735s |      14 |   178203 |    65952 |    59907      0 |       64 |        1
738.48/738.65	c  737s |      14 |   178331 |    66052 |    59907      0 |       64 |        1
740.97/741.12	c  739s |      14 |   178490 |    66152 |    59907      0 |       64 |        1
744.27/744.43	c  743s |      14 |   178609 |    66252 |    59907      0 |       64 |        1
747.88/748.02	c  746s |      14 |   178722 |    66352 |    59907      0 |       64 |        1
750.57/750.73	c  749s |      14 |   178864 |    66452 |    59907      0 |       64 |        1
753.78/753.90	c  752s |      14 |   178980 |    66552 |    59907      0 |       64 |        1
757.27/757.44	c  756s |      14 |   179100 |    66652 |    59907      0 |       64 |        1
760.77/760.91	c  759s |      14 |   179243 |    66752 |    59907      0 |       64 |        1
763.28/763.43	c  762s |      14 |   179407 |    66852 |    59907      0 |       64 |        1
765.97/766.11	c  764s |      14 |   179548 |    66952 |    59907      0 |       64 |        1
769.17/769.34	c  768s |      14 |   179674 |    67052 |    59907      0 |       64 |        1
771.76/771.99	c  770s |      14 |   179839 |    67152 |    59907      0 |       64 |        1
774.96/775.18	c  774s |      14 |   179964 |    67252 |    59907      0 |       64 |        1
778.17/778.32	c  777s |      14 |   180076 |    67352 |    59907      0 |       64 |        1
781.57/781.73	c  780s |      14 |   180199 |    67452 |    59907      0 |       64 |        1
784.77/784.92	c  783s |      14 |   180354 |    67552 |    59907      0 |       64 |        1
788.37/788.51	c  787s |      14 |   180477 |    67652 |    59907      0 |       64 |        1
791.56/791.74	c  790s |      14 |   180604 |    67752 |    59907      0 |       64 |        1
794.76/794.96	c  793s |      14 |   180717 |    67852 |    59907      0 |       64 |        1
798.36/798.50	c  797s |      14 |   180828 |    67952 |    59907      0 |       64 |        1
801.76/802.00	c  800s |      14 |   180937 |    68052 |    59907      0 |       64 |        1
805.66/805.84	c  804s |      14 |   181067 |    68152 |    59907      0 |       64 |        1
808.96/809.19	c  808s |      14 |   181191 |    68252 |    59907      0 |       64 |        1
813.06/813.20	c  812s |      14 |   181299 |    68352 |    59907      0 |       64 |        1
817.56/817.70	c  816s |      14 |   181409 |    68452 |    59907      0 |       64 |        1
820.65/820.86	c  819s |      14 |   181574 |    68552 |    59907      0 |       64 |        1
823.15/823.33	c  822s |      14 |   181719 |    68652 |    59907      0 |       64 |        1
826.65/826.87	c  825s |      14 |   181848 |    68752 |    59907      0 |       64 |        1
829.55/829.73	c  828s |      14 |   182004 |    68852 |    59907      0 |       64 |        1
832.45/832.67	c  831s |      14 |   182192 |    68952 |    59907      0 |       64 |        1
836.36/836.52	c  835s |      14 |   182307 |    69052 |    59907      0 |       64 |        1
838.96/839.17	c  838s |      14 |   182420 |    69152 |    59907      0 |       64 |        1
842.36/842.58	c  841s |      14 |   182528 |    69252 |    59907      0 |       64 |        1
846.35/846.57	c  845s |      14 |   182645 |    69352 |    59907      0 |       64 |        1
849.35/849.58	c  848s |      14 |   182811 |    69452 |    59907      0 |       64 |        1
852.65/852.89	c  851s |      14 |   182951 |    69552 |    59907      0 |       64 |        1
857.85/858.06	c  856s |      14 |   183227 |    69752 |    59907      0 |       64 |        1
861.25/861.48	c  860s |      14 |   183330 |    69852 |    59907      0 |       64 |        1
863.94/864.12	c  862s |      14 |   183452 |    69952 |    59907      0 |       64 |        1
867.44/867.63	c  866s |      14 |   183557 |    70052 |    59907      0 |       64 |        1
870.75/870.97	c  869s |      14 |   183678 |    70152 |    59907      0 |       64 |        1
874.65/874.87	c  873s |      14 |   183796 |    70252 |    59907      0 |       64 |        1
878.14/878.33	c  877s |      14 |   183902 |    70352 |    59907      0 |       64 |        1
881.54/881.75	c  880s |      14 |   184022 |    70452 |    59907      0 |       64 |        1
885.24/885.40	c  884s |      14 |   184122 |    70552 |    59907      0 |       64 |        1
888.64/888.89	c  887s |      14 |   184244 |    70652 |    59907      0 |       64 |        1
892.83/893.01	c  891s |      14 |   184351 |    70752 |    59907      0 |       64 |        1
895.63/895.88	c  894s |      14 |   184456 |    70852 |    59907      0 |       64 |        1
899.34/899.52	c  898s |      14 |   184569 |    70952 |    59907      0 |       64 |        1
902.43/902.60	c  901s |      14 |   184715 |    71052 |    59907      0 |       64 |        1
905.03/905.27	c  904s |      14 |   184843 |    71152 |    59907      0 |       64 |        1
908.13/908.32	c  907s |      14 |   184974 |    71252 |    59907      0 |       64 |        1
911.22/911.45	c  910s |      14 |   185093 |    71352 |    59907      0 |       64 |        1
914.62/914.87	c  913s |      14 |   185215 |    71452 |    59907      0 |       64 |        1
917.62/917.82	c  916s |      14 |   185322 |    71552 |    59907      0 |       64 |        1
921.22/921.41	c  920s |      14 |   185419 |    71652 |    59907      0 |       64 |        1
925.22/925.42	c  924s |      14 |   185527 |    71752 |    59907      0 |       64 |        1
928.92/929.16	c  928s |      14 |   185637 |    71852 |    59907      0 |       64 |        1
932.22/932.46	c  931s |      14 |   185741 |    71952 |    59907      0 |       64 |        1
936.12/936.32	c  935s |      14 |   185857 |    72052 |    59907      0 |       64 |        1
940.52/940.77	c  939s |      14 |   185962 |    72152 |    59907      0 |       64 |        1
943.31/943.55	c  942s |      14 |   186097 |    72252 |    59907      0 |       64 |        1
946.01/946.23	c  945s |      14 |   186205 |    72352 |    59907      0 |       64 |        1
949.91/950.13	c  949s |      14 |   186317 |    72452 |    59907      0 |       64 |        1
954.91/955.12	c  953s |      14 |   186425 |    72552 |    59907      0 |       64 |        1
958.40/958.63	c  957s |      14 |   186536 |    72652 |    59907      0 |       64 |        1
963.21/963.48	c  962s |      14 |   186643 |    72752 |    59907      0 |       64 |        1
967.01/967.25	c  966s |      14 |   186755 |    72852 |    59907      0 |       64 |        1
970.51/970.77	c  969s |      14 |   186882 |    72952 |    59907      0 |       64 |        1
973.31/973.52	c  972s |      14 |   187012 |    73052 |    59907      0 |       64 |        1
975.90/976.19	c  975s |      14 |   187144 |    73152 |    59907      0 |       64 |        1
980.01/980.26	c  979s |      14 |   187261 |    73252 |    59907      0 |       64 |        1
983.10/983.31	c  982s |      14 |   187381 |    73352 |    59907      0 |       64 |        1
986.61/986.85	c  985s |      14 |   187494 |    73452 |    59907      0 |       64 |        1
989.91/990.12	c  988s |      14 |   187638 |    73552 |    59907      0 |       64 |        1
993.90/994.17	c  993s |      14 |   187752 |    73652 |    59907      0 |       64 |        1
997.01/997.26	c  996s |      14 |   187878 |    73752 |    59907      0 |       64 |        1
999.71/999.96	c  998s |      14 |   188032 |    73852 |    59907      0 |       64 |        1
1002.70/1002.95	c 1001s |      14 |   188170 |    73952 |    59907      0 |       64 |        1
1005.70/1005.97	c 1004s |      14 |   188280 |    74052 |    59907      0 |       64 |        1
1009.71/1009.93	c 1008s |      14 |   188391 |    74152 |    59907      0 |       64 |        1
1014.20/1014.40	c 1013s |      14 |   188499 |    74252 |    59907      0 |       64 |        1
1018.40/1018.64	c 1017s |      14 |   188613 |    74352 |    59907      0 |       64 |        1
1020.89/1021.16	c 1020s |      14 |   188752 |    74452 |    59907      0 |       64 |        1
1024.39/1024.61	c 1023s |      14 |   188865 |    74552 |    59907      0 |       64 |        1
1027.50/1027.72	c 1026s |      14 |   188987 |    74652 |    59907      0 |       64 |        1
1029.80/1030.04	c 1028s |      14 |   189103 |    74752 |    59907      0 |       64 |        1
1033.80/1034.07	c 1032s |      14 |   189212 |    74852 |    59907      0 |       64 |        1
1036.89/1037.13	c 1036s |      14 |   189335 |    74952 |    59907      0 |       64 |        1
1040.09/1040.39	c 1039s |      14 |   189444 |    75052 |    59907      0 |       64 |        1
1043.60/1043.81	c 1042s |      14 |   189558 |    75152 |    59907      0 |       64 |        1
1047.19/1047.45	c 1046s |      14 |   189661 |    75252 |    59907      0 |       64 |        1
1049.99/1050.29	c 1049s |      14 |   189768 |    75352 |    59907      0 |       64 |        1
1054.09/1054.33	c 1053s |      14 |   189875 |    75452 |    59907      0 |       64 |        1
1057.29/1057.56	c 1056s |      14 |   189986 |    75552 |    59907      0 |       64 |        1
1060.58/1060.88	c 1059s |      14 |   190109 |    75652 |    59907      0 |       64 |        1
1062.98/1063.25	c 1062s |      14 |   190248 |    75752 |    59907      0 |       64 |        1
1065.28/1065.51	c 1064s |      14 |   190364 |    75852 |    59907      0 |       64 |        1
1070.19/1070.46	c 1069s |      14 |   190474 |    75952 |    59907      0 |       64 |        1
1075.18/1075.45	c 1074s |      14 |   190580 |    76052 |    59907      0 |       64 |        1
1079.88/1080.18	c 1079s |      14 |   190691 |    76152 |    59907      0 |       64 |        1
1084.39/1084.69	c 1083s |      14 |   190804 |    76252 |    59907      0 |       64 |        1
1089.79/1090.00	c 1088s |      14 |   190909 |    76352 |    59907      0 |       64 |        1
1094.48/1094.78	c 1093s |      14 |   191020 |    76452 |    59907      0 |       64 |        1
1099.98/1100.26	c 1099s |      14 |   191129 |    76552 |    59907      0 |       64 |        1
1105.48/1105.74	c 1104s |      14 |   191237 |    76652 |    59907      0 |       64 |        1
1110.58/1110.83	c 1109s |      14 |   191358 |    76752 |    59907      0 |       64 |        1
1115.48/1115.74	c 1114s |      14 |   191459 |    76852 |    59907      0 |       64 |        1
1120.79/1121.08	c 1119s |      14 |   191563 |    76952 |    59907      0 |       64 |        1
1126.47/1126.75	c 1125s |      14 |   191674 |    77052 |    59907      0 |       64 |        1
1131.88/1132.11	c 1130s |      14 |   191789 |    77152 |    59907      0 |       64 |        1
1137.68/1137.94	c 1136s |      14 |   191892 |    77252 |    59907      0 |       64 |        1
1143.27/1143.59	c 1142s |      14 |   192007 |    77352 |    59907      0 |       64 |        1
1148.07/1148.38	c 1147s |      14 |   192109 |    77452 |    59907      0 |       64 |        1
1152.58/1152.86	c 1151s |      14 |   192223 |    77552 |    59907      0 |       64 |        1
1157.08/1157.33	c 1156s |      14 |   192340 |    77652 |    59907      0 |       64 |        1
1161.48/1161.74	c 1160s |      14 |   192461 |    77752 |    59907      0 |       64 |        1
1166.76/1167.00	c 1165s |      14 |   192574 |    77852 |    59907      0 |       64 |        1
1171.76/1172.10	c 1170s |      14 |   192701 |    77952 |    59907      0 |       64 |        1
1177.46/1177.72	c 1176s |      14 |   192811 |    78052 |    59907      0 |       64 |        1
1182.57/1182.84	c 1181s |      14 |   192916 |    78152 |    59907      0 |       64 |        1
1187.77/1188.02	c 1186s |      14 |   193021 |    78252 |    59907      0 |       64 |        1
1193.96/1194.20	c 1193s |      14 |   193126 |    78352 |    59907      0 |       64 |        1
1198.96/1199.20	c 1198s |      14 |   193233 |    78452 |    59907      0 |       64 |        1
1204.96/1205.20	c 1204s |      14 |   193350 |    78552 |    59907      0 |       64 |        1
1211.45/1211.78	c 1210s |      14 |   193458 |    78652 |    59907      0 |       64 |        1
1216.85/1217.12	c 1215s |      14 |   193573 |    78752 |    59907      0 |       64 |        1
1223.55/1223.82	c 1222s |      14 |   193685 |    78852 |    59907      0 |       64 |        1
1230.05/1230.35	c 1229s |      14 |   193798 |    78952 |    59907      0 |       64 |        1
1234.85/1235.18	c 1234s |      14 |   193912 |    79052 |    59907      0 |       64 |        1
1239.76/1240.06	c 1238s |      14 |   194015 |    79152 |    59907      0 |       64 |        1
1245.95/1246.20	c 1245s |      14 |   194122 |    79252 |    59907      0 |       64 |        1
1251.84/1252.17	c 1251s |      14 |   194250 |    79352 |    59907      0 |       64 |        1
1256.54/1256.85	c 1255s |      14 |   194360 |    79452 |    59907      0 |       64 |        1
1259.84/1260.12	c 1258s |      14 |   194467 |    79552 |    59907      0 |       64 |        1
1262.74/1263.04	c 1261s |      14 |   194611 |    79652 |    59907      0 |       64 |        1
1265.85/1266.19	c 1265s |      14 |   194713 |    79752 |    59907      0 |       64 |        1
1268.74/1269.06	c 1267s |      14 |   194848 |    79852 |    59907      0 |       64 |        1
1272.54/1272.85	c 1271s |      14 |   194944 |    79952 |    59907      0 |       64 |        1
1276.05/1276.30	c 1275s |      14 |   195065 |    80052 |    59907      0 |       64 |        1
1279.24/1279.56	c 1278s |      14 |   195175 |    80152 |    59907      0 |       64 |        1
1282.64/1282.90	c 1281s |      14 |   195284 |    80252 |    59907      0 |       64 |        1
1284.74/1285.03	c 1283s |      14 |   195434 |    80352 |    59907      0 |       64 |        1
1286.85/1287.12	c 1285s |      14 |   195604 |    80452 |    59907      0 |       64 |        1
1290.34/1290.64	c 1289s |      14 |   195834 |    80652 |    59907      0 |       64 |        1
1294.23/1294.52	c 1293s |      14 |   196053 |    80852 |    59907      0 |       64 |        1
1298.63/1298.90	c 1297s |      14 |   196303 |    81052 |    59907      0 |       64 |        1
1302.03/1302.32	c 1301s |      14 |   196411 |    81152 |    59907      0 |       64 |        1
1304.74/1305.03	c 1303s |      14 |   196517 |    81252 |    59907      0 |       64 |        1
1307.75/1308.02	c 1306s |      14 |   196626 |    81352 |    59907      0 |       64 |        1
1310.23/1310.55	c 1309s |      14 |   196759 |    81452 |    59907      0 |       64 |        1
1312.83/1313.13	c 1312s |      14 |   196888 |    81552 |    59907      0 |       64 |        1
1315.53/1315.80	c 1314s |      14 |   197010 |    81652 |    59907      0 |       64 |        1
1318.64/1318.93	c 1317s |      14 |   197119 |    81752 |    59907      0 |       64 |        1
1321.64/1321.90	c 1320s |      14 |   197252 |    81852 |    59907      0 |       64 |        1
1324.64/1324.94	c 1323s |      14 |   197366 |    81952 |    59907      0 |       64 |        1
1328.13/1328.46	c 1327s |      14 |   197475 |    82052 |    59907      0 |       64 |        1
1332.13/1332.40	c 1331s |      14 |   197593 |    82152 |    59907      0 |       64 |        1
1335.03/1335.33	c 1334s |      14 |   197725 |    82252 |    59907      0 |       64 |        1
1337.93/1338.20	c 1337s |      14 |   197860 |    82352 |    59907      0 |       64 |        1
1341.43/1341.73	c 1340s |      14 |   197963 |    82452 |    59907      0 |       64 |        1
1344.73/1345.08	c 1343s |      14 |   198097 |    82552 |    59907      0 |       64 |        1
1347.93/1348.22	c 1347s |      14 |   198211 |    82652 |    59907      0 |       64 |        1
1351.03/1351.33	c 1350s |      14 |   198324 |    82752 |    59907      0 |       64 |        1
1354.23/1354.51	c 1353s |      14 |   198456 |    82852 |    59907      0 |       64 |        1
1357.53/1357.83	c 1356s |      14 |   198561 |    82952 |    59907      0 |       64 |        1
1360.93/1361.28	c 1360s |      14 |   198675 |    83052 |    59907      0 |       64 |        1
1364.23/1364.51	c 1363s |      14 |   198863 |    83152 |    59907      0 |       64 |        1
1367.03/1367.39	c 1366s |      14 |   198994 |    83252 |    59907      0 |       64 |        1
1370.82/1371.17	c 1370s |      14 |   199104 |    83352 |    59907      0 |       64 |        1
1374.73/1375.04	c 1373s |      14 |   199243 |    83452 |    59907      0 |       64 |        1
1377.33/1377.63	c 1376s |      14 |   199383 |    83552 |    59907      0 |       64 |        1
1380.24/1380.55	c 1379s |      14 |   199490 |    83652 |    59907      0 |       64 |        1
1383.53/1383.86	c 1382s |      14 |   199653 |    83752 |    59907      0 |       64 |        1
1387.53/1387.86	c 1386s |      14 |   199771 |    83852 |    59907      0 |       64 |        1
1391.72/1392.05	c 1390s |      14 |   199897 |    83952 |    59907      0 |       64 |        1
1395.22/1395.53	c 1394s |      14 |   200045 |    84052 |    59907      0 |       64 |        1
1398.62/1398.92	c 1397s |      14 |   200174 |    84152 |    59907      0 |       64 |        1
1402.52/1402.80	c 1401s |      14 |   200284 |    84252 |    59907      0 |       64 |        1
1406.42/1406.78	c 1405s |      14 |   200383 |    84352 |    59907      0 |       64 |        1
1410.03/1410.31	c 1409s |      14 |   200502 |    84452 |    59907      0 |       64 |        1
1413.62/1413.97	c 1412s |      14 |   200613 |    84552 |    59907      0 |       64 |        1
1417.41/1417.73	c 1416s |      14 |   200754 |    84652 |    59907      0 |       64 |        1
1420.41/1420.76	c 1419s |      14 |   200926 |    84752 |    59907      0 |       64 |        1
1424.11/1424.40	c 1423s |      14 |   201022 |    84852 |    59907      0 |       64 |        1
1427.62/1427.91	c 1426s |      14 |   201166 |    84952 |    59907      0 |       64 |        1
1431.21/1431.53	c 1430s |      14 |   201284 |    85052 |    59907      0 |       64 |        1
1434.81/1435.16	c 1434s |      14 |   201391 |    85152 |    59907      0 |       64 |        1
1438.81/1439.16	c 1438s |      14 |   201507 |    85252 |    59907      0 |       64 |        1
1442.52/1442.88	c 1441s |      14 |   201617 |    85352 |    59907      0 |       64 |        1
1446.32/1446.65	c 1445s |      14 |   201718 |    85452 |    59907      0 |       64 |        1
1449.70/1450.01	c 1448s |      14 |   201832 |    85552 |    59907      0 |       64 |        1
1453.60/1453.98	c 1452s |      14 |   201929 |    85652 |    59907      0 |       64 |        1
1457.70/1458.09	c 1456s |      14 |   202038 |    85752 |    59907      0 |       64 |        1
1461.80/1462.19	c 1461s |      14 |   202155 |    85852 |    59907      0 |       64 |        1
1466.21/1466.58	c 1465s |      14 |   202258 |    85952 |    59907      0 |       64 |        1
1470.50/1470.87	c 1469s |      14 |   202395 |    86052 |    59907      0 |       64 |        1
1474.60/1474.90	c 1473s |      14 |   202506 |    86152 |    59907      0 |       64 |        1
1477.70/1478.08	c 1476s |      14 |   202608 |    86252 |    59907      0 |       64 |        1
1481.29/1481.69	c 1480s |      14 |   202718 |    86352 |    59907      0 |       64 |        1
1484.39/1484.70	c 1483s |      14 |   202937 |    86452 |    59907      0 |       64 |        1
1487.89/1488.29	c 1487s |      14 |   203055 |    86552 |    59907      0 |       64 |        1
1491.49/1491.89	c 1490s |      14 |   203164 |    86652 |    59907      0 |       64 |        1
1495.59/1495.90	c 1494s |      14 |   203272 |    86752 |    59907      0 |       64 |        1
1499.10/1499.48	c 1498s |      14 |   203381 |    86852 |    59907      0 |       64 |        1
1502.99/1503.37	c 1502s |      14 |   203486 |    86952 |    59907      0 |       64 |        1
1507.19/1507.56	c 1506s |      14 |   203593 |    87052 |    65898      0 |       64 |        1
1511.59/1511.95	c 1510s |      14 |   203695 |    87152 |    65898      0 |       64 |        1
1515.29/1515.65	c 1514s |      14 |   203828 |    87252 |    65898      0 |       64 |        1
1518.89/1519.21	c 1518s |      14 |   203947 |    87352 |    65898      0 |       64 |        1
1522.58/1522.97	c 1521s |      14 |   204050 |    87452 |    65898      0 |       64 |        1
1526.60/1526.97	c 1525s |      14 |   204158 |    87552 |    65898      0 |       64 |        1
1529.99/1530.38	c 1529s |      15 |   204242 |    87632 |    65898      0 |       64 |        1
1540.18/1540.53	c 1539s |      15 |   208204 |    87732 |    65898      1 |       64 |        1
1542.18/1542.58	c 1541s |      15 |   219986 |    87932 |    65898      1 |       64 |        1
1544.29/1544.68	c 1543s |      15 |   220203 |    88132 |    65898      1 |       64 |        1
1546.39/1546.73	c 1545s |      15 |   220461 |    88332 |    65898      1 |       64 |        1
1548.59/1548.90	c 1547s |      15 |   220707 |    88532 |    65898      1 |       64 |        1
1550.79/1551.18	c 1550s |      15 |   220958 |    88732 |    65898      1 |       64 |        1
1553.08/1553.48	c 1552s |      15 |   221210 |    88932 |    65898      1 |       64 |        1
1555.69/1556.05	c 1554s |      15 |   221427 |    89132 |    65898      1 |       64 |        1
1558.18/1558.58	c 1557s |      15 |   221654 |    89332 |    65898      1 |       64 |        1
1560.88/1561.23	c 1560s |      15 |   221870 |    89532 |    65898      1 |       64 |        1
1562.98/1563.36	c 1562s |      15 |   222081 |    89732 |    65898      1 |       64 |        1
1565.78/1566.11	c 1564s |      15 |   222425 |    90032 |    65898      1 |       64 |        1
1567.78/1568.11	c 1566s |      15 |   222641 |    90232 |    65898      1 |       64 |        1
1570.18/1570.51	c 1569s |      15 |   222855 |    90432 |    65898      1 |       64 |        1
1572.69/1573.02	c 1571s |      15 |   223064 |    90632 |    65898      1 |       64 |        1
1574.99/1575.39	c 1574s |      15 |   223279 |    90832 |    65898      1 |       64 |        1
1577.19/1577.52	c 1576s |      15 |   223504 |    91032 |    65898      1 |       64 |        1
1579.29/1579.61	c 1578s |      15 |   223711 |    91232 |    65898      1 |       64 |        1
1582.08/1582.49	c 1581s |      15 |   224042 |    91532 |    65898      1 |       64 |        1
1584.97/1585.36	c 1584s |      15 |   224377 |    91832 |    65898      1 |       64 |        1
1587.98/1588.32	c 1587s |      15 |   224721 |    92132 |    65898      1 |       64 |        1
1590.08/1590.42	c 1589s |      15 |   224933 |    92332 |    65898      1 |       64 |        1
1592.38/1592.73	c 1591s |      15 |   225146 |    92532 |    65898      1 |       64 |        1
1594.58/1594.95	c 1593s |      15 |   225357 |    92732 |    65898      1 |       64 |        1
1596.78/1597.18	c 1596s |      15 |   225569 |    92932 |    65898      1 |       64 |        1
1599.19/1599.51	c 1598s |      15 |   225826 |    93132 |    65898      1 |       64 |        1
1601.28/1601.64	c 1600s |      15 |   226044 |    93332 |    65898      1 |       64 |        1
1603.38/1603.72	c 1602s |      15 |   226271 |    93532 |    65898      1 |       64 |        1
1605.78/1606.12	c 1604s |      15 |   226498 |    93732 |    65898      1 |       64 |        1
1608.17/1608.50	c 1607s |      15 |   226707 |    93932 |    65898      1 |       64 |        1
1610.37/1610.76	c 1609s |      15 |   226925 |    94132 |    65898      1 |       64 |        1
1612.87/1613.24	c 1612s |      15 |   227145 |    94332 |    65898      1 |       64 |        1
1615.37/1615.73	c 1614s |      15 |   227351 |    94532 |    65898      1 |       64 |        1
1617.57/1617.99	c 1616s |      15 |   227568 |    94732 |    65898      1 |       64 |        1
1620.17/1620.54	c 1619s |      15 |   227785 |    94932 |    65898      1 |       64 |        1
1622.87/1623.24	c 1622s |      15 |   228002 |    95132 |    65898      1 |       64 |        1
1625.58/1625.96	c 1624s |      15 |   228223 |    95332 |    65898      1 |       64 |        1
1628.07/1628.47	c 1627s |      15 |   228437 |    95532 |    65898      1 |       64 |        1
1630.67/1631.00	c 1629s |      15 |   228657 |    95732 |    65898      1 |       64 |        1
1633.06/1633.42	c 1632s |      15 |   228887 |    95932 |    65898      1 |       64 |        1
1635.87/1636.26	c 1635s |      15 |   229105 |    96132 |    65898      1 |       64 |        1
1638.27/1638.69	c 1637s |      15 |   229324 |    96332 |    65898      1 |       64 |        1
1640.77/1641.20	c 1640s |      15 |   229545 |    96532 |    65898      1 |       64 |        1
1643.37/1643.71	c 1642s |      15 |   229766 |    96732 |    65898      1 |       64 |        1
1645.97/1646.37	c 1645s |      15 |   229980 |    96932 |    65898      1 |       64 |        1
1648.57/1648.91	c 1647s |      15 |   230197 |    97132 |    65898      1 |       64 |        1
1651.06/1651.40	c 1650s |      15 |   230434 |    97332 |    65898      1 |       64 |        1
1653.26/1653.65	c 1652s |      15 |   230658 |    97532 |    65898      1 |       64 |        1
1655.36/1655.76	c 1654s |      15 |   230877 |    97732 |    65898      1 |       64 |        1
1657.56/1657.95	c 1656s |      15 |   231096 |    97932 |    65898      1 |       64 |        1
1659.97/1660.31	c 1659s |      15 |   231317 |    98132 |    65898      1 |       64 |        1
1662.46/1662.83	c 1661s |      15 |   231527 |    98332 |    65898      1 |       64 |        1
1664.86/1665.21	c 1664s |      15 |   231742 |    98532 |    65898      1 |       64 |        1
1667.66/1668.07	c 1666s |      15 |   232091 |    98832 |    65898      1 |       64 |        1
1669.86/1670.28	c 1669s |      15 |   232334 |    99032 |    65898      1 |       64 |        1
1672.96/1673.36	c 1672s |      15 |   232687 |    99332 |    65898      1 |       64 |        1
1675.16/1675.56	c 1674s |      15 |   232908 |    99532 |    65898      1 |       64 |        1
1677.46/1677.86	c 1676s |      15 |   233129 |    99732 |    65898      1 |       64 |        1
1679.96/1680.32	c 1679s |      15 |   233343 |    99932 |    65898      1 |       64 |        1
1682.36/1682.72	c 1681s |      15 |   233572 |   100132 |    65898      1 |       64 |        1
1684.46/1684.82	c 1683s |      15 |   233798 |   100332 |    65898      1 |       64 |        1
1686.66/1687.05	c 1685s |      15 |   234010 |   100532 |    65898      1 |       64 |        1
1689.27/1689.69	c 1688s |      15 |   234229 |   100732 |    65898      1 |       64 |        1
1691.66/1692.01	c 1690s |      15 |   234447 |   100932 |    65898      1 |       64 |        1
1694.26/1694.60	c 1693s |      15 |   234655 |   101132 |    65898      1 |       64 |        1
1697.35/1697.70	c 1696s |      15 |   234873 |   101332 |    65898      1 |       64 |        1
1699.75/1700.16	c 1699s |      15 |   235104 |   101532 |    65898      1 |       64 |        1
1702.25/1702.61	c 1701s |      15 |   235320 |   101732 |    65898      1 |       64 |        1
1704.76/1705.16	c 1704s |      15 |   235534 |   101932 |    65898      1 |       64 |        1
1706.96/1707.35	c 1706s |      15 |   235738 |   102132 |    65898      1 |       64 |        1
1709.06/1709.44	c 1708s |      15 |   235965 |   102332 |    65898      1 |       64 |        1
1711.16/1711.59	c 1710s |      15 |   236192 |   102532 |    65898      1 |       64 |        1
1713.35/1713.71	c 1712s |      15 |   236415 |   102732 |    65898      1 |       64 |        1
1715.35/1715.75	c 1714s |      15 |   236626 |   102932 |    65898      1 |       64 |        1
1717.75/1718.10	c 1716s |      15 |   236870 |   103132 |    65898      1 |       64 |        1
1720.06/1720.43	c 1719s |      15 |   237086 |   103332 |    65898      1 |       64 |        1
1722.36/1722.71	c 1721s |      15 |   237308 |   103532 |    65898      1 |       64 |        1
1724.85/1725.20	c 1724s |      15 |   237518 |   103732 |    65898      1 |       64 |        1
1727.15/1727.58	c 1726s |      15 |   237732 |   103932 |    65898      1 |       64 |        1
1729.85/1730.24	c 1729s |      15 |   237937 |   104132 |    65898      1 |       64 |        1
1732.16/1732.50	c 1731s |      15 |   238160 |   104332 |    65898      1 |       64 |        1
1734.55/1734.93	c 1733s |      15 |   238376 |   104532 |    65898      1 |       64 |        1
1737.35/1737.78	c 1736s |      15 |   238582 |   104732 |    65898      1 |       64 |        1
1739.75/1740.20	c 1739s |      15 |   238812 |   104932 |    65898      1 |       64 |        1
1742.05/1742.43	c 1741s |      15 |   239021 |   105132 |    65898      1 |       64 |        1
1744.44/1744.86	c 1743s |      15 |   239233 |   105332 |    65898      1 |       64 |        1
1746.85/1747.26	c 1746s |      15 |   239444 |   105532 |    65898      1 |       64 |        1
1749.44/1749.89	c 1748s |      15 |   239662 |   105732 |    65898      1 |       64 |        1
1752.06/1752.48	c 1751s |      15 |   239870 |   105932 |    65898      1 |       64 |        1
1754.54/1754.90	c 1753s |      15 |   240081 |   106132 |    65898      1 |       64 |        1
1756.95/1757.38	c 1756s |      15 |   240304 |   106332 |    65898      1 |       64 |        1
1759.55/1759.93	c 1758s |      15 |   240515 |   106532 |    65898      1 |       64 |        1
1762.04/1762.49	c 1761s |      15 |   240732 |   106732 |    65898      1 |       64 |        1
1764.44/1764.81	c 1763s |      15 |   240950 |   106932 |    65898      1 |       64 |        1
1767.04/1767.48	c 1766s |      15 |   241164 |   107132 |    65898      1 |       64 |        1
1769.74/1770.17	c 1769s |      15 |   241370 |   107332 |    65898      1 |       64 |        1
1772.35/1772.75	c 1771s |      15 |   241592 |   107532 |    65898      1 |       64 |        1
1774.64/1775.08	c 1773s |      15 |   241815 |   107732 |    65898      1 |       64 |        1
1777.14/1777.58	c 1776s |      15 |   242029 |   107932 |    65898      1 |       64 |        1
1779.55/1779.91	c 1778s |      15 |   242240 |   108132 |    65898      1 |       64 |        1
1782.04/1782.45	c 1781s |      15 |   242452 |   108332 |    65898      1 |       64 |        1
1784.44/1784.81	c 1783s |      15 |   242660 |   108532 |    65898      1 |       64 |        1
1786.94/1787.37	c 1786s |      15 |   242872 |   108732 |    65898      1 |       64 |        1
1789.45/1789.81	c 1788s |      15 |   243086 |   108932 |    65898      1 |       64 |        1
1791.74/1792.19	c 1791s |      15 |   243306 |   109132 |    65898      1 |       64 |        1
1794.64/1795.09	c 1793s |      15 |   243524 |   109332 |    65898      1 |       64 |        1
1797.14/1797.58	c 1796s |      15 |   243748 |   109532 |    65898      1 |       64 |        1
1799.74/1800.10	c 1798s |      15 |   243968 |   109732 |    65898      1 |       64 |        1

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

pid=13751
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.13 2.18 2.18 3/179 13754
/proc/meminfo: memFree=28078840/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 2930 0 0 0 0 0 0 0 20 0 4 0 8912731 801566720 3291 33554432000 4194304 16246674 140735611128352 140735611127776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 196463 3299 441 2943 0 193357 0
[pid=13754/tid=13755] ppid=13751 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 820441088 3363 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 824635392 3379 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8912731 829878272 3396 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 13754
/proc/meminfo: memFree=28078840/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 29372 0 0 0 5 3 0 0 20 0 4 0 8912731 1333334016 29672 33554432000 4194304 16246674 140735611128352 140735611127664 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 325521 29687 801 2943 0 322415 0
[pid=13754/tid=13755] ppid=13751 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1333334016 29699 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1333334016 29710 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1333334016 29722 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200467 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 13754
/proc/meminfo: memFree=28078840/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 43887 0 0 0 14 5 0 0 20 0 4 0 8912731 1343819776 44697 33554432000 4194304 16246674 140735611128352 140735611127664 7371538 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 328081 44697 801 2943 0 324975 0
[pid=13754/tid=13755] ppid=13751 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1343819776 44697 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1343819776 44697 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1343819776 44697 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1312324

[startup+0.300481 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 13754
/proc/meminfo: memFree=28078840/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 54998 0 0 0 22 7 0 0 20 0 4 0 8912731 1343819776 55808 33554432000 4194304 16246674 140735611128352 140735611127664 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 328081 55808 801 2943 0 324975 0
[pid=13754/tid=13755] ppid=13751 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1343819776 55808 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1343819776 55808 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1343819776 55808 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1312324

[startup+0.700353 s]
/proc/loadavg: 2.13 2.18 2.18 3/179 13754
/proc/meminfo: memFree=28078840/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=0.69 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 59856 0 0 0 61 8 0 0 20 0 4 0 8912731 1360596992 60666 33554432000 4194304 16246674 140735611128352 140735611127664 5563672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 60666 833 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 60666 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 60666 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 60666 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708

[startup+1.50039 s]
/proc/loadavg: 2.12 2.18 2.17 4/183 13758
/proc/meminfo: memFree=27685352/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=1.49 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 97693 0 0 0 136 13 0 0 20 0 4 0 8912731 1360596992 98503 33554432000 4194304 16246674 140735611128352 140735611110272 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 98503 891 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98503 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98503 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98503 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708

[startup+3.10039 s]
/proc/loadavg: 2.12 2.18 2.17 4/183 13758
/proc/meminfo: memFree=27685352/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=3.09 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 97697 0 0 0 296 13 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140735611110272 13780568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 98507 895 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708

[startup+6.30039 s]
/proc/loadavg: 2.12 2.18 2.17 4/183 13758
/proc/meminfo: memFree=27685572/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=6.29 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 97697 0 0 0 616 13 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140735611110272 6012004 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 98507 895 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.10 2.17 2.17 4/183 13758
/proc/meminfo: memFree=27685604/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=12.69 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 97697 0 0 0 1255 14 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140735611110272 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 98507 895 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98507 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708

[startup+25.5005 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 13758
/proc/meminfo: memFree=27686060/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=25.49 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 97702 0 0 0 2535 14 0 0 20 0 4 0 8912731 1360596992 98512 33554432000 4194304 16246674 140735611128352 140735611110272 5712622 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 98512 899 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98512 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98512 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 98512 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1328708

[startup+51.1004 s]
/proc/loadavg: 2.22 2.20 2.18 4/183 13758
/proc/meminfo: memFree=27512476/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=51.09 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 141088 0 0 0 5088 21 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140735611110272 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 141898 899 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708

[startup+102.301 s]
/proc/loadavg: 2.29 2.22 2.19 3/184 13812
/proc/meminfo: memFree=27541912/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1328708 CPUtime=102.28 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 141088 0 0 0 10207 21 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140735611110272 5712622 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 332177 141898 899 2943 0 329071 0
[pid=13754/tid=13755] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1360596992 141898 33554432000 4194304 16246674 140735611128352 140006689590448 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) 1328708


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

/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1873350656 398821 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1829444

[startup+1302.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 13842
/proc/meminfo: memFree=26416120/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1849924 CPUtime=1302.03 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 403282 0 0 0 130115 88 0 0 20 0 4 0 8912731 1894322176 403980 33554432000 4194304 16246674 140735611128352 140735611110272 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 462481 403980 902 2943 0 459375 0
[pid=13754/tid=13755] ppid=13751 vsize=1849924 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1894322176 403980 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1849924 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1894322176 403980 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1849924 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1894322176 403980 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1849924

[startup+1362.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/184 13867
/proc/meminfo: memFree=26385444/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1880644 CPUtime=1362.03 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 410839 0 0 0 136110 93 0 0 20 0 4 0 8912731 1925779456 411537 33554432000 4194304 16246674 140735611128352 140735611110272 13780664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 470161 411537 902 2943 0 467055 0
[pid=13754/tid=13755] ppid=13751 vsize=1880644 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 1925779456 411537 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1880644 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 1925779456 411537 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1880644 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 1925779456 411537 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1880644

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 13868
/proc/meminfo: memFree=26293460/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=1972804 CPUtime=1422.02 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 433874 0 0 0 142102 100 0 0 20 0 4 0 8912731 2020151296 434566 33554432000 4194304 16246674 140735611128352 140735611110272 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 493201 434566 902 2943 0 490095 0
[pid=13754/tid=13755] ppid=13751 vsize=1972804 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2020151296 434566 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=1972804 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2020151296 434566 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=1972804 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2020151296 434566 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1972804

[startup+1482.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 13869
/proc/meminfo: memFree=26183252/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2082372 CPUtime=1481.99 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 461341 0 0 0 148092 107 0 0 20 0 4 0 8912731 2132348928 462015 33554432000 4194304 16246674 140735611128352 140735611110272 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 520593 462015 902 2943 0 517487 0
[pid=13754/tid=13755] ppid=13751 vsize=2082372 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2132348928 462015 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2082372 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2132348928 462015 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2082372 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2132348928 462015 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2082372

[startup+1542.31 s]
/proc/loadavg: 2.29 2.20 2.18 3/183 13870
/proc/meminfo: memFree=26145964/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2119236 CPUtime=1541.99 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 470601 0 0 0 154088 111 0 0 20 0 4 0 8912731 2170097664 471275 33554432000 4194304 16246674 140735611128352 140735611127528 5711968 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 529809 471275 904 2943 0 526703 0
[pid=13754/tid=13755] ppid=13751 vsize=2119236 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2170097664 471275 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2119236 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2170097664 471275 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2119236 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2170097664 471275 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 2119236

[startup+1602.3 s]
/proc/loadavg: 2.33 2.22 2.19 3/183 13871
/proc/meminfo: memFree=26103200/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2162244 CPUtime=1601.98 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 481271 0 0 0 160082 116 0 0 20 0 4 0 8912731 2214137856 481944 33554432000 4194304 16246674 140735611128352 140735611110272 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 540561 481944 904 2943 0 537455 0
[pid=13754/tid=13755] ppid=13751 vsize=2162244 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2214137856 481944 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2162244 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2214137856 481944 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2162244 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2214137856 481944 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2162244

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 13873
/proc/meminfo: memFree=26059208/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2206276 CPUtime=1661.97 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 492211 0 0 0 166074 123 0 0 20 0 4 0 8912731 2259226624 492877 33554432000 4194304 16246674 140735611128352 140735611110272 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 551569 492877 904 2943 0 548463 0
[pid=13754/tid=13755] ppid=13751 vsize=2206276 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2259226624 492877 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2206276 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2259226624 492877 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2206276 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2259226624 492877 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2206276

[startup+1722.3 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 13874
/proc/meminfo: memFree=25929280/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2335300 CPUtime=1721.95 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 524614 0 0 0 172063 132 0 0 20 0 4 0 8912731 2391347200 525279 33554432000 4194304 16246674 140735611128352 140735611127528 5712600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 583825 525279 904 2943 0 580719 0
[pid=13754/tid=13755] ppid=13751 vsize=2335300 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2391347200 525279 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2335300 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2391347200 525279 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2335300 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2391347200 525279 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2335300

[startup+1782.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 13875
/proc/meminfo: memFree=25795052/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2469444 CPUtime=1781.94 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 558117 0 0 0 178047 147 0 0 20 0 4 0 8912731 2528710656 558778 33554432000 4194304 16246674 140735611128352 140735611127528 13780592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 617361 558778 904 2943 0 614255 0
[pid=13754/tid=13755] ppid=13751 vsize=2469444 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2528710656 558778 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2469444 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2528710656 558778 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2469444 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2528710656 558778 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2469444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.16 2.17 3/183 13875
/proc/meminfo: memFree=25750628/32872528 swapFree=1254912/1391860
[pid=13754] ppid=13751 vsize=2514500 CPUtime=1800.04 cores=0,2,4,6
/proc/13754/stat : 13754 (toysat) R 13751 13754 12742 0 -1 4202496 569245 0 0 0 179853 151 0 0 20 0 4 0 8912731 2574848000 569906 33554432000 4194304 16246674 140735611128352 140735611127448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13754/statm: 628625 569906 904 2943 0 625519 0
[pid=13754/tid=13755] ppid=13751 vsize=2514500 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13755/stat : 13755 (toysat) S 13751 13754 12742 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8912731 2574848000 569906 33554432000 4194304 16246674 140735611128352 140006710553840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13754/tid=13756] ppid=13751 vsize=2514500 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13756/stat : 13756 (toysat) S 13751 13754 12742 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8912731 2574848000 569906 33554432000 4194304 16246674 140735611128352 140006700063984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13754/tid=13757] ppid=13751 vsize=2514500 CPUtime=0 cores=0,2,4,6
/proc/13754/task/13757/stat : 13757 (toysat) S 13751 13754 12742 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8912731 2574848000 569906 33554432000 4194304 16246674 140735611128352 140006689590448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2514500

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.07
CPU user time (s): 1798.54
CPU system time (s): 1.53477
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 2514500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.54
system time used= 1.53477
maximum resident set size= 2279624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569245
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= 164
involuntary context switches= 1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3321 second user time and 16.7565 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 11:38:39
IDJOB=4119915
IDBENCH=111820
IDSOLVER=2542
FILE ID=node119/4119915-1467279519
RUNJOBID= node119-1467272299-13058
PBS_JOBID= 20004499
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm100p-opt.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119915-1467279519/watcher-4119915-1467279519 -o /tmp/evaluation-result-4119915-1467279519/solver-4119915-1467279519 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467272299-13058 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119915-1467279519.opb

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

MD5SUM BENCH= 7eda093f8adbdb58a7a700ae4694aeb0
RANDOM SEED=537737498

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28079004 kB
Buffers:          187212 kB
Cached:          1336520 kB
SwapCached:            0 kB
Active:          1294672 kB
Inactive:        1362092 kB
Active(anon):    1129512 kB
Inactive(anon):     5992 kB
Active(file):     165160 kB
Inactive(file):  1356100 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18252 kB
Writeback:             0 kB
AnonPages:       2485252 kB
Mapped:            17692 kB
Shmem:               204 kB
Slab:             611004 kB
SReclaimable:      55136 kB
SUnreclaim:       555868 kB
KernelStack:        1520 kB
PageTables:         8908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2655976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1212416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node119 at 2016-06-30 12:08:40